Start=totale Ordnung

MDLUL/totale Ordnung

Ziel=Ordnungstheorie/Lineare Ordnung/Definition