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