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