Sea formula_5 un conjunto.