\begin{definition}[Definition:Extended Real Number Line/Definition 2]
The '''extended real number line''' $\overline \R$ is the order completion of the set of real numbers $\R$.
The greatest element of $\overline \R$ is often denoted by $+\infty$ and its least element by $-\infty$.
\end{definition}