theorem Th18: :: XXREAL_1:18

for r being ExtReal holds [.r,r.[ = {}