Extended real number line (source code)

= Extended real number line
{title2=$\overline{\mathbb R}$}
{wiki}

= Extended real number
{synonym}

The extended real numbers adjoin $-\infty$ and $+\infty$ to $\mathbb R$. They preserve the <total order> but leave some arithmetic expressions, such as $+\infty-\infty$, undefined.