Sea formula_1 un conjunto y formula_3