Start=spitzen (Monoid)

MDLUL/spitzen (Monoid)

Siehe=spitz (Monoid)
MDLUL/spitz (Monoid)
Ziel=Kommutatives Monoid/Spitz/Definition