for A, B being non empty compact Subset of REAL st A misses B holds
dist (A,B) > 0