Peano-Halbring/Verträglichkeit mit Operationen/Aufgabe

Zeige, dass in einem Peano-Halbring die Ordnungsrelation mit der Addition und der Multiplikation verträglich ist.

Eine Lösung erstellen