The "order properties" of 1R refer to the notions of positivity and inequalities between real numbers. As with the algebraic structure of the system of real numbers, we proceed by isolating three basic properties from which all other order properties and calculations with inequalities can be deduced. The simplest way to do this is to identify a special subset of 1R by using the notion of "positivity".