Tidak ada pertentangan: butir sebelumnya memakai metrik \(d\) yang sama pada domain dan kodomain, sedangkan contoh tersebut memakai metrik Euklides pada domain dan metrik diskret pada kodomain.