Случай несравнимости мощностей двух множеств

Случай несравнимости мощностей двух множеств

Есть два множества (пусть непустых) - ни в одном из них нет части эквивалентной другому множеству.
Из теоремы Цермело следует, что такое невозможно.