Равномощные множества разбиваются на непересекающиеся классы эквивалентности потому, что отношение равномощности является отношением эквивалентности на множестве всех подмножеств данного множества. 1

Это означает, что два множества попадают в один класс, если они равномощны. 1 Такое разбиение позволяет определить понятие мощности множества как одного из этих классов. 5