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