for x, y being set
for f, g being Function st g = f . x holds
g . y = f .. (x,y)