Axiom:Ordering Axioms/Class Formulation

Definition
Let $V$ be a basic universe.

Let $\RR \subseteq V \times V$ be a relation on $V$.

$\RR$ satisfies the ordering axioms in $V$ $\RR$ satisfies the axioms:

where $\Field \RR$ denotes the field of $\RR$.

Also see

 * Axiom:Ordering Axioms/Formulation 1 for an alternative formulation of the ordering axioms on a set.