theorem Th19: :: BORSUK_4:22

for A being non empty connected Subset of I[01]
for a, b being Real st a in A & b in A holds
[.a,b.] c= A