El conjunto de todos los entornos de un punto forma una base de entornos del punto.