Dado un punto formula_2, una base de entornos del punto es una familia de entornos de formula_5 de manera que para cada entorno del punto, existe uno básico contenido.