Se define el sucesor de formula_1 como el conjunto formula_3.