Peano-Halbring/Ordnungseigenschaften/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen