Start=Endlich (Menge)

MDLUL/Endlich (Menge)

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