Natürliche Zahlen/Ordnung/Mengentheoretisch/Definition

Ordnung auf natürlichen Zahlen (Peano-Modell)

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

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