MDLUL/geordnet (Relation)

Start=geordnet (Relation)

MDLUL/geordnet (Relation)

Ziel=Ordnungstheorie/Ordnungsrelation/Definition