MDLUL/kommutativer Halbring

Start=kommutativer Halbring

MDLUL/kommutativer Halbring

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