Extended real number (source code)

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

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.