for x, y being object
for X being set
for f being Function st x in X & y in dom f holds
(X --> f) .. (x,y) = f . y