Ganze Zahlen/Negative Zahlen/Größergleichrelation/Natürliche Addition/Definition

Größergleichrelation auf $\mathbb{Z}$

Auf den ganzen Zahlen definieren wir folgendermaßen die Größergleichrelation $\ge$. Wir sagen

$a\ge b,$

wenn es eine natürliche Zahl $n$ mit

$a=b+n$

gibt.