theorem Th54: :: BORSUK_5:55

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