Sea formula_1 un espacio topológico, y formula_2.