Natürliche Zahlen/Peano/Induktiv abgeschlossene Teilmenge/Definition

Induktiv abgeschlossen

Es sei $(N,0{,}^{\prime })$ ein Peanomodell für die natürlichen Zahlen. Dann heißt eine Teilmenge $T\subseteq N$ induktiv abgeschlossen, wenn für jedes $n\in T$ auch der Nachfolger $n^{\prime }\in T$ ist.