Definition:Extended Real Number Line

Definition
The set of extended real numbers $\overline{\R}$ is defined as:


 * $\overline{\R} := \R \cup \left\{{+\infty, -\infty}\right\}$

that is, the set of real numbers together with two auxiliary symbols:


 * $+\infty$, positive infinity
 * $-\infty$, negative infinity

Also known as
Some authors call this the extended real line.

Also, the notations $\left[{-\infty, +\infty}\right]$ and $\left[{-\infty \,.\,.\, +\infty}\right]$ can be encountered, mimicking the notation for real intervals.