Definíció: Egy H halmaz véges, ha valamely természetes számmal párbaállítható.

Tétel: A természetes számok egyike sem állítható párba egy tõle különbözõvel.

Tétel: Egy véges halmaz tetszõleges részhalmaza is véges.

Tétel: Egy H halmaz akkor és csak akkor véges, ha egyik valódi részével sem álítható párba.