theorem :: XXREAL_1:214

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