for F being Function
for X being set holds Card (F | X) = (Card F) | X