Если n

> m, то при разбиении n элементов на m групп хотя бы одна группа содержит ≥2

элементов

Всякое

соответствие имеет обратное

Всякое

множество равномощно своему подмножеству

Любое

соответствие можно представить как функцию

Любое

множество можно упорядочить