Efectivamente, pues se define el conjunto formula_90 mediante