Kommutativer Halbring/N/Eindeutige Abbildung/Aufgabe

Aus Wikiversity

Es sei ein kommutativer Halbring

(mit den Verknüpfungen und den speziellen Elementen ). Zeige, dass es genau eine Abbildung

gibt, die die Eigenschaften , und

für alle

erfüllt.