MDLUL/minimal (Ordnung)

Start=minimal (Ordnung)

MDLUL/minimal (Ordnung)

Ziel=Ordnungstheorie/Geordnete Menge/Minimales Element/Definition