Sea formula_2 un conjunto cualquiera: