En particular, cualquier espacio métrico será, además, un espacio topológico porque cualquier función de distancia definida sobre un conjunto dado induce una topología sobre dicho conjunto.