Ganze Zahlen/Negative Zahlen/Direkt/Ordnung/Definition

Größergleichrelation auf Z

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

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).