Start=spitzem (Monoid)

MDLUL/spitzem (Monoid)

Siehe=spitzes Monoid
MDLUL/spitzes Monoid
Ziel=Kommutatives Monoid/Spitz/Definition