Definition:Ordering Compatible with Ring Structure

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

An ordering $\preccurlyeq$ on $R$ is compatible with the ring structure of $R$ $\preccurlyeq$ satisies the ring compatible ordering axioms:

Also see

 * Definition:Ordered Ring