Start=nichtleere

MDLUL/nichtleere

Ziel=Mengenlehre/Leere Menge/Definition