Рассмотрим два конечных множества А и В.
Пусть n(А)=а; n(В)=b.
Определение Говорят, что а = b тогда и только тогда, когда множества А и В принадлежат одному и тому же классу, это значит, что А~В.
a = b « А~В
Если А и В неэквивалентны, то множества А и В принадлежат разным классам, а поэтому соответствующие им числа различны.
Определение. Отрезком натурального ряда Nа называется множество натуральных чисел, не превосходящих натуральное число а.
Nа =