for X being set
for x, y being object
for f being Function of X,{y} st x in X holds
f . x = y