theorem Th44: :: ORDERS_5:35

for A being Preorder holds the InternalRel of (QuotientOrder A) = <=E A