Se dice que formula_88 es entorno de formula_2 si existe un conjunto abierto formula_90 de manera que formula_91.