Suppose we are given a metric spaceLet
be the set of all Cauchy sequences in
and let
be the equivalence relation on
defined by
if and only if
Now defineas the quotient space .
Elements of the quotient space are the equivalence classesof the Cauchy sequences
of
If
then
and