theorem Th194: :: XXREAL_1:194

for r, s, t being ExtReal st s < t holds
[.r,t.[ \ [.s,t.[ = [.r,s.[