and

Both are not real numbers. This is important as this means theorems and exercises do not include . However, we can ajoin these elements to the set and allow us to use them how we usually do.

That is, for any element in we know it is greater than but less than .

Then the set builder notation interval works as expected

We can also denote .

If is not bounded from above or bellow we can define and to be

Even with this notation we know that for all subsets of .

todo last proof, which works after a question in section 4

todo also do question from section