Quotient metric Created 2026-09-24 Updated 2026-09-24
The quotient metric is the largest metric on a quotient set for which the quotient map is non-expansive. It is obtained by taking infima of lengths of chains that may jump freely within equivalence classes.