The Order Property

( of the real number system )

PROPERTY VI. (ORDER).
There is a subset of R such that


(1)
if a,b are in ,
then a+b and axb are in , and


(2)
for any a in R, one and only one of the following statements is true




See ita-2-2-1-pg19.