for X, Y being set
for R being Relation of X,Y holds
( ( for x being object st x in X holds
ex y being object st [x,y] in R ) iff dom R = X )