MDLUL/spitzen (Monoid)