MDLUL/maximal (Ordnung)

Start=maximal (Ordnung)

MDLUL/maximal (Ordnung)

Ziel=Ordnungstheorie/Geordnete Menge/Maximales Element/Definition