Peano-Halbring/Ordnungseigenschaften/Fakt

In einem Peano-Halbring ${}M$ ist ${}\geq$

eine totale Ordnung mit ${}0$ als kleinstem Element. Für jedes ${}x\in M$ , ${}x\neq 0$ , ist

${}x\geq 1\,.$

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

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.