for n being Nat
for A, B being Subset of (COMPLEX n) st A meets B holds
dist (A,B) = 0