for X, Y being set holds {} is Relation of X,Y by XBOOLE_1:2;