Theorem: Every non-empty open set S in $\mathbb{R^1}$ is the union of a countable collection of disjoint component intervals of S.
I think it is quite easy to prove that the component intervals is disjoint but i am not sure how to do for countable union.