ordered ring

Meaning

1. noun A ring, R, equipped with a partial order, ≤, such that for arbitrary a, b, c ∈ R, if a ≤ b then a + c ≤ b + c, and if, additionally, 0 ≤ c, then both ca ≤ cb and ac ≤ bc.
2. noun A ring, R, equipped with a total order, ≤, such that for arbitrary a, b, c ∈ R, if a ≤ b then a + c ≤ b + c, and if, additionally, 0 ≤ c, then both ca ≤ cb and ac ≤ bc.

Similar words

near-ring division ring factor ring local ring prime ring product ring total ring of fractions quotient ring subring ideal