 This is done by defining formula_25 if formula_8.Let formula_27 be the quotient space of by this equivalence relation and define
Then formula_29 is a metric on formula_30 and formula_31 is a well-defined metric space, called the metric space induced by the pseudometric space formula_32.The metric identification preserves the induced topologies.