theorem Th1: :: NECKLA_2:1

for U being Universe
for X, Y being set st X in U & Y in U holds
for R being Relation of X,Y holds R in U