Toda distancia determina una topología en el cunjunto en el que está definida.