Start=geordnete Menge

MDLUL/geordnete Menge

Ziel=Ordnungstheorie/Geordnete Menge/Definition