for p1, p2 being Point of I[01] st p1 <= p2 holds
[.p1,p2.] is non empty connected compact Subset of I[01]