theorem Th65: :: BORSUK_5:66

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