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

Nachfolgermenge

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

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