Como formula_71 es denso en formula_72, resulta entonces que formula_73 también es base de entornos de la topología inducida por formula_4.