conjunt inductiu

m

Matemàtiques

Conjunt X en el qual si, i només si, ∅ ∈ X i, per a cada x ∈ X , el següent x , x ∪ { x }, també hi pertany.

L’existència de conjunts inductius cal imposar-la per mitjà de l’axioma de l’infinit. El fet que existeixi un conjunt inductiu implica l’existència d’un conjunt inductiu mínim, que és precisament el conjunt ℕ dels nombres naturals.