El conjunto formula_69 es base de la topología inducida por formula_4, y también es base de entornos de dicha topología.