Sea formula_1 una familia arbitraria (tal vez infinita) de espacios topológicos.