Definition:Ordering Compatible with Ring Structure

Let $$\left({R, +, \circ}\right)$$ be a ring whose zero is $$0_R$$.

An ordering $$\le$$ on $$R$$ is compatible with the ring structure $$R$$ iff:


 * 1) $$\le$$ is compatible with $$+$$;
 * 2) $$\forall x, y \in R: 0_R \le x, 0_R \le y \implies 0_R \le x \circ y$$.