Definition:Cauchy Equivalent Metrics