MDLUL/geordnete Indexmenge

Start=geordnete Indexmenge

MDLUL/geordnete Indexmenge

Ziel=Ordnungstheorie/Geordnete Menge/Definition