Natürliche Zahlen/Menge geq n/Induktiver Durchschnitt/Definition

Nachfolgermenge

Es sei $(N,0{,}^{\prime })$ ein Peanomodell für die natürlichen Zahlen und $n\in \mathbb{N}$. Dann setzen wir

$N_{\ge n}=\bigcap _{M\subseteq N,n\in M\text{ und }M\text{ ist }\text{induktiv abgeschlossen}}M$