Description: In an ordered ring, the ring unit is positive. (Contributed by Thierry Arnoux, 21-Jan-2018)