theorem Th60: :: CARD_1:62

for f being Function holds card f = card (dom f)