Definition, synonyms and related words
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.