Sea formula_17 provisto de la topología usual formula_21, además formula_22 un intervalo de formula_23 y formula_24 subconjuntos abiertos de formula_17 tales que formula_22 es parte de la unión de formula_27 y formula_28.