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.
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]