theorem :: BORSUK_5:63

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