Що таке рахункова здатність у теорії множин?

Набір називається зліченним, якщо його можна поставити у взаємну відповідність натуральним числам. Іншими словами, якщо ми можемо поєднати кожен елемент множини з унікальним натуральним числом, тоді множина є злічуваною.

Наприклад, множина всіх цілих чисел є злічуваною, оскільки ми можемо поєднати кожне ціле число з унікальним натуральним числом: $1$ з число $1$, $2$ з числом $2$ і так далі.

З іншого боку, множина всіх дійсних чисел не є порахованою, оскільки існує незліченна кількість дійсних чисел, і немає способу поєднати кожне дійсне число з унікальне натуральне число.