MDLUL/kommutatives Monoid