Denotaremos por formula_6 al conjunto formula_7.