 Real line

The real line is the set $\mathbb{R}$ of real numbers equipped with its usual order, metric, and topology.