Peano-Halbring/Definition

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.