Start=antimonoton

MDLUL/antimonoton

Ziel=Geordnete Mengen/Abbildung/Antimonoton/Definition