Тобто зліченна множина — це множина, рівнопотужна множині натуральних чисел. Зліченна множина є найменшою нескінченною множиною в тому розумінні, що в будь-якій нескінченній множини знайдеться зліченна підмножина. Властивості Будь-яка підмножина зліченної множини або зліченна, або скінченна. Об'єднання скінченної або зліченної кількості зліченних множин є зліченним.