for x being object
for k being Nat holds card (k --> x) = k