theorem :: ORDERS_5:26

for A being Preorder holds the InternalRel of A quasi_orders the carrier of A