Base de entornos

En Topología, un entorno de un punto es un conjunto que contiene un abierto al que pertenece el punto. Es decir, si es un espacio topológico, y , diremos que es entorno de si existe un (es decir, es un conjunto abierto en ) de forma que .