Theorem: Every open set can be uniquely expressed as a countable union of disjoint open intervals. The endpoints of do not belong to (Pugh, p. 63).
The book goes on to prove this by first defining and and then an interval .
I don't understand why they define and for those particular sets. What does represent? I know that its the largest interval, because the endpoints are the glb and lub.