Start=monoton fallende

MDLUL/monoton fallende

Ziel=Geordnete Mengen/Abbildung/Ordnungstreu/Definition