Start=

MDLUL/endlich (Menge)

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