El conjunto formula_96 (donde aquí formula_97 representa la topología del conjunto formula_34) no es otra cosa que la topología final en formula_4 para la familia formula_68.