Theorem
Suppose
and
are subsets of a metric space
Suppose
and
If
then![]()
Also, if
then![]()
Proof
Since
for any
so![]()
Hence![]()
Suppose now that![]()

Define the distance between sets
and
as![]()
For any subsets
and
of![]()
![]()
But
so d(A,B)=0 and![]()
Theorem
Suppose
and
are subsets of a metric space
Suppose
and
If
then![]()
Also, if
then![]()
Proof
Since
for any
so![]()
Hence![]()
Suppose now that![]()

Define the distance between sets
and
as![]()
For any subsets
and
of![]()
![]()
But
so d(A,B)=0 and![]()