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