Ordered ring

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:

  • if a ≤ b then a + c ≤ b + c.
  • if 0 ≤ a and 0 ≤ b then 0 ≤ ab.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.