MDLUL/größtes (Ordnung)

Start=größtes (Ordnung)

MDLUL/größtes (Ordnung)

Ziel=Ordnungstheorie/Geordnete Menge/Größtes Element/Definition