Real line (${\mathbb{R}}^1$)

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