Quotient metric
= Quotient metric
{wiki}
The quotient metric is the largest metric on a quotient set for which the quotient map is <non-expansive map>[non-expansive]. It is obtained by taking infima of lengths of chains that may jump freely within equivalence classes.