E multzo ez-huts batean definitzen den d funtzio ez-negatiboa, d : E × E → R, zeinak propietate hauek betetzen dituen: 1. d(x, y) = 0 ⇔ x = y; 2. d(x, y) = d(y, x) (simetria); 3. d(x, y) ≤ d(x, z) + d(z,y) (desberdintza triangeluarra).