Ganze Zahlen/Negative Zahlen/Direkt/Ordnung/Definition/Begriff/Inhalt

Auf den ganzen Zahlen definieren man die Größergleichrelation ${}\geq$ folgendermaßen.

1. Wenn ${}a,b\in \mathbb {N}$ ist, so ist

   ${}a\geq b\,$

   einfach die Ordnung auf ${}\mathbb {N}$

2. Wenn ${}a\in \mathbb {N}$ ist und ${}b$ negativ, so ist

   ${}a\geq b\,.$

3. Wenn ${}a$ und ${}b$ beide negativ sind, so definiert man

   ${}a\geq b\,$

   durch

   ${}-b\geq -a\,$

   (innerhalb der natürlichen Zahlen).