Sea formula_1 un conjunto.