Como formula_35 es finito, este proceso tiene un final definido, que no es otro que la construcción del conjunto formula_27 que resulta acotado inferiormente por la misma.