Start=total geordnete

MDLUL/total geordnete

Siehe=total geordnet
MDLUL/total geordnet
Ziel=Ordnungstheorie/Lineare Ordnung/Definition