Apa itu Himpunan Terhitung?

Suatu himpunan dapat dihitung jika kardinalitasnya (yaitu jumlah elemen yang dikandungnya) adalah bilangan tak terhingga yang dapat dihitung, yaitu bilangan yang dapat berkorespondensi satu-satu dengan bilangan asli. Dengan kata lain, suatu himpunan dapat dihitung jika ia dapat dihitung, atau didaftarkan, dalam suatu barisan yang berhingga.

Sebagai contoh, himpunan bilangan asli itu sendiri dapat dihitung, karena kita dapat mendaftarkannya secara berurutan: 1, 2, 3 , ... . Himpunan bilangan bulat juga dapat dihitung, karena kita dapat mencantumkan semua bilangan bulat genap, lalu semua bilangan bulat ganjil, dan seterusnya.

Sebaliknya, himpunan bilangan real tidak dapat dihitung, karena banyaknya bilangan real yang tak terhitung banyaknya, dan tidak ada cara untuk membuat daftar semuanya dalam urutan yang terbatas.