Peano-Halbring/Definition

Aus Wikiversity
Peano-Halbring

Eine Menge mit zwei ausgezeichneten Elementen und und zwei Verknüpfungen und heißt Peano-Halbring, wenn diese Strukturen die erststufigen Peano-Axiome erfüllen.