Topologiassa joukon X metriikka d on kuvaus tulojoukosta X × X reaalilukujen joukolle, joka toteuttaa seuraavat ehdot kaikille pisteille x, y, z € X: 1. d(x, y) = d(y, x), 2. d(x, y) = 0 ↔ x = y ja 3. d(x, z) ≤ d(x, ...