Euclidean Space is Subspace of Extended Real Number Space

Theorem
Let $\struct {\overline \R, \tau}$ be the extended real number space.

Then $\tau {\restriction_\R}$, the subspace topology on $\R$, is the Euclidean topology.

That is, Euclidean $1$-space is a subspace of the extended real number space.