Sea formula_1 un espacio topológico y formula_2, formula_3 dos abiertos contenidos en formula_1 tales que formula_5.