theorem Th8: :: DICKSON:9

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