Start=Halbringstruktur

MDLUL/Halbringstruktur

Ziel=Kommutativer Halbring/Ausführlich/Definition