theorem Th174: :: XXREAL_1:174

for p, q, r, s being ExtReal st p <= s & r <= q & s <= r holds
[.p,r.] \/ [.s,q.] = [.p,q.]