Las condiciones para que formula_13 sea topología sobre formula_1 son entonces estas: