Dado un conjunto formula_2 definimos formula_3 como conjunto