Definition:Real Number/Real Number Line/Ordering

Definition
Consider the real number line:


 * RealNumberLine.png

The usual ordering on $\R$ is implemented on the real number line as:
 * $a > b$ $a$ is to the right of $b$
 * $a < b$ $a$ is to the left of $b$.