Definition:Extended Real Number Line/Definition 2

Definition
The extended real line, $\overline \R$, is the order completion of the real line, $\R$.

The greatest element of $\overline \R$ is called $+\infty$ and its least element is called $-\infty$.

Also see

 * Equivalence of Definitions of Extended Real Number Line