text: Более формально: множество X {\displaystyle X} является счётным, если существует биекция со множеством натуральных чисел: X ↔ N {\displaystyle X\leftrightarrow \mathbb {N} } , другими словами, счётное множество — это множество, равномощное множеству натуральных чисел.