Natürliche Zahlen/Ordnung/Mengentheoretisch/Definition

Ordnung auf natürlichen Zahlen (Peano-Modell)

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

$k\geq n,{\text{ wenn }}k\in N_{\geq n}{\text{ gilt}}.$