order properties of the real numbers