theorem :: BORSUK_5:52

for a being Real holds Cl ].-infty,a.[ = ].-infty,a.]