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

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

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

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

${\displaystyle {}a=b+n\,}$

gibt.