Формально: множина Y є зліченною, якщо існує бієкція f: Y → N, де N — множина натуральних чисел. Тобто зліченна множина — це множина, рівнопотужна множині натуральних чисел.
Зліченна множина є найменшою нескінченною множиною в тому розумінні, що в будь-якій нескінченній множини знайдеться зліченна підмножина.
Об'єднання скінченної або зліченної кількості зліченних множин є зліченним.
Декартів добуток скінченної кількості зліченних множин є зліченним.
Множина всіх скінченних підмножин зліченної множини є зліченною.
Якщо множина A нескінченна, а множина B скінченна або зліченна, то A∪B — рівнопотужнаA.
За теоремою Кантора, потужність довільної множини є меншою, ніж потужність її булеану (множини всіх її підмножин). Звідси випливає, що булеан множини натуральних чисел є незліченною множиною.