Ordnung auf N

Einfache Sprache

Def. Ordnung auf N

Für $n,m\in\mathbb N$ ist die Relation $\leq\subseteq\mathbb{N\times N}$ definiert durch

$$n\leq m \iff \exists k\in\mathbb N:n+k=m\;.$$