for R being Relation st R is being_partial-order holds
R partially_orders field R