Theorem
Supposeandare subsets of a metric spaceSupposeandIfthen
Also, ifthen
Proof
Sincefor anyso
Hence
Suppose now that
Define the distance between setsandas
For any subsetsandof
Butso d(A,B)=0 and
Theorem
Supposeandare subsets of a metric spaceSupposeandIfthen
Also, ifthen
Proof
Sincefor anyso
Hence
Suppose now that
Define the distance between setsandas
For any subsetsandof
Butso d(A,B)=0 and