Definition:Metric Equivalence