theorem Th192: :: XXREAL_1:192

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