Entonces, para cualquier conjunto formula_17 existe un conjunto formula_18 cuyos elementos son aquellos elementos formula_5 de formula_17 que cumplen formula_35.