Obsérvese que no se ha exigido que un entorno sea un conjunto abierto.