If \(a \leq b\), then \(a \oplus c \leq b \oplus c\).
If \(0 \leq a\) and \(0 \leq b\), then \(0 \leq a \otimes b\)
An element \(a\) of the ring is called “ ” if \(0<\) and “ ” if \(a<\). The second axiom, then, says that the product of nonnegative elements is nonnegative.
An ordered ring that is also a field is an .
For any element \(a\), \(a \leq 0\) if and only if \(0 \leq -a\).
The product of nonpositive elements is nonnegative.
Theof any element is nonnegative.
The additive identity \(1 \geq 0\). (Unless the ring is trivial, \(1>0\).)
The complex numbers are not an ordered ring, because there is no way to define the order between \(0\) and \(i\). Suppose that \(0 \le i\), then, we have \(0 \le i \times i = -1\), which is false. Suppose that \(i \le 0\), then \(0 = i + (-i) \le 0 + (-i)\), but then we have \(0 \le (-i) \times (-i) = -1\), which is again false. Alternatively, \(i^2=-1\) is a square, so it must be nonnegative; that is, \(0 \leq -1\), which is a contradiction.