e/Partially-ordered ring

Information
has gloss	eng: In abstract algebra, a partially-ordered ring is a ring A, together with a compatible partial order – a partial order \leq on the underlying set that satisfies: #x\leq y implies x + z\leq y + z #0\leq x and 0\leq y imply that 0\leq xy for all x, y, z\in A. Various extensions of this definition exist that constrain the ring, the partial order, or both. For example, an Archimedean partially-ordered ring is a partially-ordered ring (A, \leq) where A's partially-ordered additive group is Archimedean.
lexicalization	eng: Partially ordered ring
lexicalization	eng: partially-ordered ring
instance of	c/Ordered algebraic structures