Entornos saludables

En Topología, un entorno de un punto es un conjunto que contiene un abierto al que pertenece el punto. Es decir, si (X, T) es un espacio topológico, a \in X y V \subseteq X, diremos que V es entorno de a si existe un G \in T (es decir, G es un conjunto abierto en X) de forma que a \in G \subseteq V.
Dado un punto a \in X, una base de entornos del punto es una familia de entornos de a de manera que para cada entorno del punto, existe uno básico contenido. Es decir....