Se deduce que un conjunto "V" es un entorno de "S" si y solo si es un entorno de todos los puntos de "S".