Start=Endliche Menge

MDLUL/Endliche Menge

Ziel=Endliche Menge/1...n/Definition