theorem :: BORSUK_5:64

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