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

Die Größergleichrelation auf den ganzen Zahlen.