Start=leere Menge

MDLUL/leere Menge

Ziel=Mengenlehre/Leere Menge/Definition