Definción: Sea formula_1 una conjunto de números reales.