Start=Endliche (Menge)

MDLUL/Endliche (Menge)

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