Es decir, si formula_1 es un espacio topológico, formula_2 y formula_3, diremos que formula_4 es entorno de formula_5 si existe un formula_6 (es decir, formula_7 es un conjunto abierto en formula_8) de forma que formula_9.