Order on the reals

Summary

The order on the reals is the relation $\le$ on $\mathbb{R}$ that compares two real numbers by their position on the number line. It extends the order of $\mathbb{Q}$ and makes $\mathbb{R}$ an ordered field.