Lõplik hulk

Matemaatikas nimetatakse lõplikuks hulgaks hulka, mille elementide arv on võrdne mõne naturaalarvuga.

Lõpliku hulga võib samaväärselt defineerida kui hulga, mis pole võrdvõimas ühegi oma pärisalamhulgaga.

Definitsioon

Hulka S nimetatakse lõplikuks, kui ta on tühihulk või kui leidub bijektsioon

$f\colon S\rightarrow \{1,\ldots ,n\}$

mõne naturaalarvu n korral. Arvu n nimetatakse hulga S võimsuseks.

Tühja hulga arvamine lõplikuks hulgaks on kokkuleppe küsimus.

Vaata ka

• lõpmatu hulk