Võimsus (hulgateooria): erinevus redaktsioonide vahel

Kui hulk ''A'' on hulgaga ''B'' võrdvõimas, siis ka [[funktsioon (matemaatika)|funktsioon]]i ''f'' [[pöördfunktsioon]] on bijektsioon, seega on ka hulk ''B'' hulgaga ''A'' võrdvõimas. Lõplikud hulgad on omavahel võrdvõimsad [[parajasti siis]], kui]] neil on ühepalju elemente.

Hulka, mis on võrdvõimas [[naturaalarvude hulk|naturaalarvude hulgaga]] <math>\mathbb{N}</math> (see on lõpmatu hulk), nimetatakse [[loenduv hulk|loenduvaks hulgaks]]. Hulka, mis on kas loenduv või lõplik, nimetatakse [[ülimalt loenduv hulk|ülimalt loenduvaks hulgaks]].