Una topología sobre formula_1 es un conjunto formula_53 que cumpla que formula_54, formula_55, si formula_56 entonces