provide-order-ax

Subcontext. Axioms for partial order relations