User:Dfeuer/Interior Point of Interval/Densely Linearly Ordered Space/Lemma

Theorem
Let $\left({X, \le, \tau}\right)$ be a close packed and linearly ordered space.

Let $a, b \in X$.

Let $I = \left[{{a}\,.\,.\,{b}}\right] = \left\{{ x \in X: a \le x \le b }\right\}$.

Then the interior of $I$ is $\left({{a}\,.\,.\,{b}}\right) \cup M_a \cup M_b$,

where $M_x = \cases { \left\{{x}\right\} & \text{if $x$ is an upper bound for $X$} \\ \varnothing & \text{otherwise} }$