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