Sea formula_2 un subconjunto no vacío cerrado respecto a cada una de las operaciones en formula_32.