Любой отрезок Nа содержит 1.
Всякое непустое конечное множество равномощно одному и только одному отрезку натурального ряда чисел.
Теорема:
Всякое непустое конечное множество равномощно одному и только одному отрезку натурального ряда чисел. (без доказательства)
Определение . Множество А называется конечным, если существует взаимно однозначное соответствие между его элементами и некоторым отрезком( Na ) натурального ряда чисел т.е. А~ Nа.
Например: множество А - вершин квадрата есть конечное множество, т.к. оно равномощно отрезку N4=