Jabarkan Banyak anggota himpunan dari Himpunan (matematika)

Kardinalitas suatu himpunan dapat dimengerti sebagai ukuran banyaknya anggota yang ada dalam himpunan tersebut.

Secara formal, dua himpunan  dan  memiliki kardinalitas yang sama, jika terdapat korespondensi satu-satu yang memetakan  pada .

Jika suatu himpunan ekivalen dengan himpunan , yaitu himpunan semua bilangan asli, maka himpunan tersebut disebut himpunan terbilang. Kardinalitas dari himpunan tersebut disebut sebagai kardinalitas . Jika suatu himpunan memiliki kardinalitas yang kurang dari kardinalitas , maka himpunan tersebut adalah himpunan berhingga.

Suatu himpunan disebut terhitung jika himpunan tersebut adalah berhingga atau terbilang.

Himpunan yang tidak terhitung disebut himpunan tak terhitung. Contoh dari himpunan ini adalah himpunan semua bilangan riil. Kardinalitas dari himpunan jenis ini disebut sebagai kardinalitas . Pembuktian bahwa bilangan riil tidak denumerabel dapat menggunakan pembuktian diagonal. Himpunan bilangan riil dalam interval (0,1) juga memiliki kardinalitas , karena terdapat korespondensi satu-satu dari himpunan tersebut dengan himpunan seluruh bilangan riil, yang salah satunya adalah .