Apakah Set Boleh Dikira?

Satu set boleh dikira jika kardinalitinya (iaitu, bilangan unsur yang terkandung di dalamnya) ialah nombor tak terhingga boleh dikira, iaitu, nombor yang boleh dimasukkan ke dalam korespondensi satu dengan satu dengan nombor asli. Dalam erti kata lain, set boleh dikira jika ia boleh dikira, atau disenaraikan, dalam urutan terhingga.

Sebagai contoh, set nombor asli itu sendiri boleh dikira, kerana kita boleh menyenaraikannya dalam urutan: 1, 2, 3 , ... . Set integer juga boleh dikira, kerana kita boleh menyenaraikan semua integer genap, kemudian semua integer ganjil, dan seterusnya.

Sebaliknya, set nombor nyata tidak boleh dikira, kerana terdapat banyak nombor nyata yang tidak boleh dikira, dan tidak ada cara untuk menyenaraikan semuanya dalam urutan terhingga.