theorem Th12: :: BORSUK_4:15

for A being Subset of I[01]
for a, b being Real st a < b & A = [.a,b.[ holds
Cl A = [.a,b.]