Sean formula_1 espacio topológico, formula_2 espacio métrico, y formula_3 un punto en formula_4.