Formalmente, un espacio métrico es un conjunto formula_1 (a cuyos elementos se les denomina "puntos") con una función distancia asociada (también llamada una métrica)