noun2
- •
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.
- •
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.
This dictionary works without the internet: on your phone · in Chrome
