Por otra parte, si formula_118, entonces se define el conjunto formula_119 por