theorem :: XXREAL_1:211

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