theorem :: XXREAL_1:215

for p being ExtReal holds [.+infty,p.[ = {}