for X being set
for y being object
for f1, f2 being Function of X,{y} holds f1 = f2