In abstract algebra, an ordered ring is a (usually commutative) ring R with a total order <= such that for all a, b, and c in R:

* if a <= b then a + c <= b + c.
* if 0 <= a and 0 <= b then 0 <= ab.

Examples

Ordered rings are