Decimos que un subconjunto formula_3 de los Reales es un conjunto inductivo, ssi, (i) formula_3 contiene al cero (0) y (ii) cuando formula_5 está en formula_3, entonces formula_7 también está en formula_3.