This is an old revision of the document!
Extended real number line
Definition
$ \overline{\mathbb R} \equiv \mathbb R\cup\{-\infty,\infty\} $ |
todo: model $-\infty$ and $\infty$
Ramifications
Reference
Wikipedia: Extended real number line
Context
Set