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