MDLUL/Kern (additive Kategorie)

Start=Kern (additive Kategorie)

MDLUL/Kern (additive Kategorie)

Ziel=Additive Kategorie/Kern/Definition