Extended real number line

Set

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