for X, Y being set
for f being Function st dom f = X & ( for x being object st x in X holds
f . x in Y ) holds
f is Function of X,Y