theorem Th48: :: BORSUK_5:49

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