Sea formula_1 un espacio topológico, e formula_2 un subconjunto de formula_3.