Zum Inhalt springen

Peano-Halbring/Ordnungseigenschaften/Fakt

Aus Wikiversity

In einem Peano-Halbring ist

eine totale Ordnung mit als kleinstem Element. Für jedes , , ist

Die Ordnung ist mit der Addition und der Multiplikation verträglich.