Start=total geordneter

MDLUL/total geordneter

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