MDLUL/total geordnete Menge

Start=total geordnete Menge

MDLUL/total geordnete Menge

Ziel=Ordnungstheorie/Lineare Ordnung/Definition