MDLUL/größtes Element

Start=größtes Element

MDLUL/größtes Element

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