Sean formula_1 un espacio, formula_2 un punto de formula_1 y formula_4 un subconjunto cerrado de formula_1.