for R being RelStr st R is quasi_ordered holds
<=E R partially_orders Class (EqRel R)