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.