A simple way to prove that the union of non-disjoint intervals is an interval? **Let $\mathcal{I}$ and $\mathcal{J}$ be intervals. Prove that if $\mathcal{I} \cap \mathcal{J} \neq \varnothing$ then $\mathcal{I} \cup \mathcal{J}$ is an interval.** I could prove it by cases but the proof is extremly extense and i want to know how to prove it in a shorter or more simple way.

Asserting that $I\cup J$ is an interval means that if $a,b\in I\cup J$ and $c\in\mathbb R$ are such that $a
1. If $d=c$, there's nothing to prove.
2. If $d 3. If $d>c$ then, since $d,a\in I$ and $I$ is an interval, $c\in I\subset I\cup J$.