Start=Minimum (N)

MDLUL/Minimum (N)

Ziel=Ordnungstheorie/Geordnete Menge/Minimales Element/Definition