partialOrder

OrderLaws

proved

laws