Kardinalitas

Dalam matematika, kardinalitas suatu himpunan dapat dimengerti sebagai ukuran banyaknya anggota yang ada dalam himpunan tersebut. Untuk himpunan hingga, yakni apabila anggota-anggotanya dapat disusun dalam barisan hingga, maka kardinalitasnya adalah panjang barisan tersebut. Dengan kata lain, kardinalitasnya adalah banyak anggota himpunan tersebut. Banyak anggota dari himpunan kosong adalah nol.

Perumuman konsep ini pada himpunan takhingga didasari pada relasi kesepadanan: dua himpunan dikatakan sepadan apabila ada pemadanan atau korespondensi satu-satu dari satu himpunan ke himpunan lainnya. Sebagai contoh, suatu himpunan takhingga dikatakan himpunan terhitung apabila ada bijeksi dari himpunan tersebut ke himpunan bilangan bulat.