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