for X being set
for x being object holds card (X --> x) = card X