Cualquier conjunto donde se ha definido formalmente una distancia es de hecho un espacio métrico.