Sea formula_1 el conjunto de los números naturales, y sean formula_2 subconjuntos de formula_1 definidos por