Start=total geordneten

MDLUL/total geordneten

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