MDLUL/Nichteinheit (Monoid)

Start=Nichteinheit (Monoid)

MDLUL/Nichteinheit (Monoid)

Ziel=Monoid/Einheit/Definition