theorem Th327: :: XXREAL_1:327

for p, q, s being ExtReal st p <= q holds
[.-infty,q.[ \ [.p,s.[ = [.-infty,p.[ \/ [.s,q.[