 formula_156 does not necessarily imply that formula_157.However, for some equivalence relations (e.g., those given by gluing together polyhedra along faces), "d"' is a metric.The quotient metric "d" is characterized by the following universal property.