MDLUL/Kommutativer Halbring

Start=Kommutativer Halbring

MDLUL/Kommutativer Halbring

Ziel=Kommutativer Halbring/Ausführlich direkt mit Monoid/Definition