for X, Y being set
for R being Relation st dom R c= X & rng R c= Y holds
R is Relation of X,Y