Además, dado formula_12 un conjunto inductivo, como si formula_13 entonces formula_14, concluimos que también pertenecen a formula_15 los conjuntos formula_16, formula_17, formula_18, ...