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 ${}\geq$. Wir sagen

${}a\geq b\,,$

wenn es eine natürliche Zahl ${}n$ mit

${}a=b+n\,$

gibt.