Start=endlich

MDLUL/endlich

Ziel=Endliche_Menge/1...n/Definition