Geordnete Mengen/Abbildung/Antimonoton/Definition

Monoton fallende Abbildung

Es seien und zwei Mengen, auf denen jeweils eine Ordnung definiert ist. Eine Abbildung

heißt monoton fallend, wenn für alle mit stets gilt.