for A being set
for f being Function st A is finite holds
f .: A is finite ;