The order properties of R

2.1.5 The order properties of R
There is nonempty subset P of R,called the set of positive real number, that satisfies the following
(i)  if a,b belong to P, then a+b belongs to P
(ii) if a,b belong to P, then ab belongs to P
(iii)if a belongs to R, Then exactly one of the following hold
                aЄP, a=b, -aЄP
The set {-a:aЄP} of negative real number
if aЄP , a>0  a is positive ( a strictly positive )
if aЄPU{0}, a≥0, a is nonnegative real number
if -aЄP, a<0, a is negative a strictly negative )
if -aЄPU{0}, a≤, a is nonpositive real number