Axiom:Ring Compatible Ordering Axioms

Definition
Let $\struct {R, +, \circ}$ be a ring whose zero is $0_R$.

Let $\preccurlyeq$ be an ordering $\preccurlyeq$ on $R$.

$\preccurlyeq$ satisfies the ring compatible ordering axioms $\preccurlyeq$ satisfies the axioms:

Also see

 * Definition:Ordered Ring