Kardinalitas adalah alat untuk mengukur ukuran suatu himpunan dengan cara menghitung jumlah elemen dalam himpunan tersebut. Jumlah elemen dalam suatu himpunan dapat dinotasikan dengan $0, 1, 2, 3, 4, $ atau bilangan berhingga lainnya. Suatu himpunan juga bisa memiliki tak berhingga banyak elemen.
Tidak semua tak berhingga himpunan mempunyai kardinalitas yang sama. Oleh karena itu, himpunan tak berhingga dapat dibedakan menjadi dua, yaitu
- Himpunan Terhitung (Countable Sets)
- Himpunan Tak Terhitung (Uncountable Sets)
Definisi 1. Diberikan dua buah himpunan $A$ dan $B$. Himpunan $A$ mempunyai kardinalitas yang sama dengan himpunan $B$, dinotasikan dengan $|A|=|B|$ jika terdapat fungsi bijektif $f$ dari $A$ ke $B$. Lebih lanjut, kardinalitas himpunan $A$ kurang dari atau sama dengan kardinalitas himpunan $B$, $|A|\leq |B|$, jika terdapat fungsi injektif dari $A$ ke $B$.