theorem Th29: :: XXREAL_2:29

for x, y being ExtReal st x <= y holds
sup [.x,y.] = y