theorem Th50: :: BORSUK_5:51

for A being Subset of R^1
for a being Real st A = ].-infty,a.[ holds
Cl A = ].-infty,a.]