theorem :: XXREAL_1:427

for r being Real holds [.r,+infty.[ = {r} \/ ].r,+infty.[