Al conjunto formula_2 se le llama conjunto final de formula_133.