Tomemos un conjunto formula_1.