Es sei M = Q ≥ 0 {\displaystyle {}M=\mathbb {Q} _{\geq 0}} die Menge der nichtnegativen rationalen Zahlen. Zeige, dass M {\displaystyle {}M} ein kommutativer Halbring, aber kein Peano-Halbring ist.
