Una distancia sobre un conjunto formula_1 es una aplicación formula_28 que verifica las siguientes propiedades: