Теорема Кантора-Бернштейна

Теорема Кантора-Бернштейна

формулировка:

Пусть есть два множества А и В.
Если можно взаимно однозначно отобразить всё множество А на часть множества В и при этом также можно взаимно однозначно отобразить всё множество В на часть множества А, то эти два множества (А и В) - эквивалентны.