Ahora definimos por recurrencia el conjunto formula_19 como la unión de los conjuntos formula_20 y formula_21, cualquiera que sea el formula_22 entre formula_23 y formula_24.