HIMPUNAN EKUIVALEN HIMPUNAN EKUIVALEN Definisi: Dua himpunan dikatakan Ekuivalen apabila jumlah anggota kedua himpunan itu sama tetapi bendanya ada yang tidak sama Contoh : P = { a, I, u, e, o } ; Q = { 1, 2, 3, 4, 5 } Kedua himpunan P dan Q anggota-anggotanya tidak sama tetapi jumlah anggotanya sama maka himpunan P Ekuivalen dengan Q, jadi ( P ~ Q ).
Kardinalitas Kardinalitas dari sebuah himpunan dapat dimengerti sebagai ukuran banyaknya elemen yang dikandung oleh himpunan tersebut. Banyaknya elemen himpunan {apel,jeruk,mangga,pisang} adalah 4. Himpunan {p,q,r,s} juga memiliki elemen sejumlah 4. Berarti kedua himpunan tersebut ekivalen satu sama lain, atau dikatakan memiliki kardinalitas yang sama. Dua buah himpunan A dan B memiliki kardinalitas yang sama, jika terdapat fungsi korespondensi satu-satu yang memetakan A pada B. Karena dengan mudah kita membuat fungsi yang memetakan satu-satu dan kepada himpunan A ke B, maka kedua himpunan tersebut memiliki kardinalitas yang sama.
Himpunan Denumerabel Jika sebuah himpunan ekivalen dengan himpunan , yaitu himpunan bilangan asli, maka himpunan tersebut disebut denumerabel. Kardinalitas dari himpunan tersebut disebut sebagai kardinalitas . Himpunan semua bilangan genap positif merupakan himpunan denumerabel, karena memiliki korespondensi satu-satu antara himpunan tersebut dengan himpunan bilangan asli, yang dinyatakan oleh .
Unsur-unsur ketiga himpunan N, Z dan Q di atas masih bisa 'diurutkan' (enumerated) tanpa ada satu pun yg tersisa atau tercecer. Himpunan berukuran tak hingga yg bisa diurutkan ini disebut himpunan terhitung (Inggris: countable atau denumerable).