![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Real_number_line.svg/640px-Real_number_line.svg.png&w=640&q=50)
Ordered ring
From Wikipedia, the free encyclopedia
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:[1]
- if a ≤ b then a + c ≤ b + c.
- if 0 ≤ a and 0 ≤ b then 0 ≤ ab.
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d7/Real_number_line.svg/640px-Real_number_line.svg.png)
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:[1]