Metrika spaco

aro X kune kun funkcio d: X×X → ℝ (la metriko) tia ke d(x,y)=d(y,x) kaj ke d(x,y)+d(y,z) ≥ d(x,y) kaj ke d(x,y) = 0 se kaj nur se x = y