## Extended real number line

### Set

 postulate $\overline{\mathbb R} \equiv \mathbb R\cup\{-\infty,\infty\}$
todo: model $-\infty$ and $\infty$