Hulk  on kontiinumi võimsusega.

Kui hulkade ja korral kehtib , siis leidub hulk , nii et ja .

Iga lõpmatu hulk sisaldab loenduva alamhulga.

Lõpmatu hulga võimsus on vähemalt .

Hulk on lõpmatu parajasti siis, kui ta on ekvivalentne mõne oma pärisosahulgaga.

Kui hulk pole loenduv, siis .

Leidub hulk, mis sisaldab kõiki hulki.

Leidub hulk , mille korral on loenduv.

on irrefleksiivne

on sümmeetriline

on transitiivne

on antisümmeetriline

on refleksiivne