Start=Kette (Ordnung)

MDLUL/Kette (Ordnung)

Ziel=Ordnungstheorie/Lineare Ordnung/Definition