Зліченна множина
З Вікіпедії, безкоштовно encyclopedia
Зліченна множина — в теорії множин така нескінченна множина, елементи якої можна занумерувати натуральними числами. Множина, яка не є зліченною, називається незліченною. Таким чином, будь-яка множина є або скінченною, або зліченною, або незліченною.
Формально: множина Y є зліченною, якщо існує бієкція f: Y → N, де N — множина натуральних чисел. Тобто зліченна множина — це множина, рівнопотужна множині натуральних чисел.
Зліченна множина є найменшою нескінченною множиною в тому розумінні, що в будь-якій нескінченній множини знайдеться зліченна підмножина.