La definición nos dice que cuando formula_3 sea un conjunto inductivo contenido en formula_1, formula_3 deberá ser igual a formula_1 (ya que formula_1 está contenido en cualquier conjunto inductivo de formula_9).