Apa Numerabilitas dalam Teori Himpunan?
Dalam konteks teori himpunan, suatu himpunan dikatakan dapat dihitung jika kardinalitasnya (yaitu jumlah elemen yang dikandungnya) adalah bilangan tak terhingga yang dapat dihitung. Artinya, himpunan tersebut dapat terurut dengan baik, artinya himpunan tersebut mempunyai urutan total sehingga setiap himpunan bagian tak kosong mempunyai elemen terkecil.
Misalnya, himpunan bilangan asli dapat dihitung karena dapat terurut dengan baik: kita dapat daftarkan semua bilangan asli dalam suatu barisan, dan setiap himpunan bagian yang tidak kosong (seperti himpunan bilangan genap atau himpunan kelipatan 3) mempunyai elemen terkecil.
Di sisi lain, himpunan bilangan real tidak dapat dihitung karena tidak bisa diatur dengan baik. Tidak ada urutan total bilangan real yang memenuhi sifat di atas.