theorem Th34: :: ORDERS_1:34

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