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