for x being set
for X being infinite set holds card {x} in card X by CARD_3:86;