En primer lugar se puede considerar el conjunto formula_7 definido como: