theorem :: XXREAL_2:89

for A, B being ext-real-membered set st A is interval & B is interval & A meets B holds
A \/ B is interval