Definíció: Egy H halmaz végtelen, ha nem véges.
Tétel: Minden végtelen halmaznak van megszámlálhatóan végtelen részhalmaza.
Tétel: Egy H halmaz akkor és csak akkor végtelen, ha egyik valódi részével párba álítható.