theorem :: RELSET_1:12

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