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
| postulate | $ \overline{\mathbb R} \equiv \mathbb R\cup\{-\infty,\infty\} $ |
todo: model $-\infty$ and $\infty$
Wikipedia: Extended real number line
