MDLUL/Normalisierung (Monoid)