Suppose we are given a metric space
Let
be the set of all Cauchy sequences in
and let
be the equivalence relation ondefined by
if and only if
Now define
as the quotient space .
Elements of the quotient space are the equivalence classes
of the Cauchy sequences
of
If
thenand