Si formula_76, el conjunto formula_77 es una topología para formula_78.