theorem Th4: :: MARGREL1:4

for X being set holds {} is relation of X