MDLUL/normales (Monoid)