for X being set holds
( id X quasi_orders X & id X partially_orders X )