MDLUL/minimal (Element)

Start=minimal (Element)

MDLUL/minimal (Element)

Ziel=Ordnungstheorie/Geordnete Menge/Minimales Element/Definition