for A being non empty connected compact Subset of R^1 ex a, b being Real st
( a <= b & A = [.a,b.] )