for A, B being non empty Interval st sup A = inf B & ( sup A in A or inf B in B ) holds
A \/ B is Interval by XXREAL_2:def 5, XXREAL_2:def 6, XXREAL_2:90, XXREAL_2:91;