Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Next revision Both sides next revision | ||
|
extended_real_number_line [2013/08/04 16:44] nikolaj created |
extended_real_number_line [2013/08/16 15:27] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== Extended real number lin ===== | + | ===== Extended real number line ===== |
| ==== Definition ==== | ==== Definition ==== | ||
| - | | @#55EE55: $ \overline{\mathbb R} \equiv \mathbb R\cup{-\infty,\infty} $ | | + | | @#55EE55: $ \overline{\mathbb R} \equiv \mathbb R\cup\{-\infty,\infty\} $ | |
| >todo: model $-\infty$ and $\infty$ | >todo: model $-\infty$ and $\infty$ | ||
| Line 11: | Line 11: | ||
| ==== Context ==== | ==== Context ==== | ||
| Set | Set | ||
| - | === Parents === | + | === Requirements === |
| [[Real number]] | [[Real number]] | ||
