о сравнении мощностей очень простых множеств в ZF

[alex_dorin]

Верно ли утверждение в ZF, что мощность любой неупорядоченной пары
всегда больше мощности любого синглетона ?

[Joker_vD]

Приведите определение пары, они разные бывают.

[alex_dorin]

Пара - это то множество, существование которого утверждается в аксиоме пары в ZF.
ps у меня напряг с LaTex