theorem Th19: :: XXREAL_1:19

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