Extended real number line
Set
postulate
$ \overline{\mathbb R} \equiv \mathbb R\cup\{-\infty,\infty\} $
todo: model $-\infty$ and $\infty$
Discussion
Reference
Wikipedia:
Extended real number line
Parents
Context
Real number