Sea formula_1 un conjunto no vacío.