MDLUL/Differenzengitter

Start=Differenzengitter

MDLUL/Differenzengitter

Ziel=Kommutative Monoidtheorie/Differenzengruppe zu Monoid/Definition