theorem Th41: :: ORDERS_5:32

for A being Preorder holds EqRelOf A = EqRel A