Definition 19.9 Kurs:Grundkurs Mathematik (Osnabrück 2022-2023)/Teil I/Vorlesung 19
Ganze Zahlen/Negative Zahlen/Größergleichrelation/Natürliche Addition/Definition