Start=total geordnet

MDLUL/total geordnet

Ziel=Ordnungstheorie/Lineare Ordnung/Definition