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

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

Viited 

Hulgateooria