Se dice que un conjunto formula_1 es inductivo si verifica que formula_5 y para cada formula_6 también formula_7.