Definition:Cauchy Sequence in Metric Space