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