Matemaatiline Maailmapilt
kõige väiksem lõpmatutest võimsustest.
Öeldakse, et hulga võimsus on väiksem kui hulga võimsus, kui hulgad ja ei ole
ekvivalentsed, kuid hulk sisaldab hulgaga ekvivalentset osahulka 1.
Teiste sõnadega, hulga võimsus on väiksem hulga võimsusest ja kirjutatakse ||<||, kui
leidub selline injektsioon : , mis ei ole pealekujutus.
Loenduva hulga võimsust tähistatakse sümboliga 0 (alef-null, hebrea täht alef), kontiinumi
võimsust aga tähega c. Seega on hulga võimsus vähim lõpmatu kardinaalarv ehk 0=||.
Naturaalarvude hulgast vähem võimas hulk on lõplik. Niisiis
0<1<2<3< ...<<...<0<.
Cantori teoreem. Iga hulga kõigi osahulkade hulga () võimsus on suurem kui hulga
võimsus: < ().