Let $A\subseteq\mathbb{R}$ be non-empty and bounded. Also, $\forall x\in A$, $\exists\epsilon>0$ such that $(x-\epsilon,x+\epsilon)\subseteq A$. Prove that $A$ is a finite or countable union of pairwise disjoint open intervals. I'm aware that this question has many different proofs, but I'm interested in knowing how one would go about proving it in this particular way. For $q\in\mathbb{Q}\cap A$, define $\alpha(q):= \text{inf}\{x\in\mathbb{R}x,q]\subseteq A\}$; $\beta(q):= \text{sup}\{x\in\mathbb{R}:[q,x)\subseteq A\}$ First, why do $\alpha$ and $\beta$ exist and $\alpha<\beta$? Then, how can one show that $I_q:=(\alpha(q),\beta(q))\subseteq A$? Lastly, how can one prove that $\bigcup_{q\in\mathbb{Q}\cap A}I_q=A$ $\forall q, s\in\mathbb{Q}\cap A$, either $I_q=I_s$ or $I_q\cap I_s=\emptyset$ Thanks in advance. Login To add answer/comment