Definition:Ordering/Class Theory

Definition
Let $V$ be a basic universe.

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

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

Also see

 * Equivalence of Definitions of Ordering