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.
New to topics? Read the docs here!
New to topics? Read the docs here!