Definisjonen formaliserer intuitive egenskaper til en distansefunksjon: En avstand kan aldri være negativ. Avstanden mellom to element kan bare være lik null dersom elementene er like. Avstanden fra til er like lang som fra til . Den korteste avstanden mellom to punkt er en rett linje.