Talk:Ordered ring

From Wikipedia, the free encyclopedia

I don't have a good idea how to do that, but it should be made clear that in the properties R ₊ is the set of positive elements not nonnegative as in "or, in some cases, nonnegative". Otherwise property 3 is not true and property 4 has a superfluous assumption about zero divisors.