Se define la extensión generada por formula_6 sobre formula_3 como el conjunto