theorem Th37: :: CLASSES4:37

for UN being Universe
for R being Relation st R in UN holds
( dom R in UN & rng R in UN )