Es seien ${\displaystyle {}(M_{1},\leq _{1})}$ und ${\displaystyle {}(M_{2},\leq _{2})}$ zwei Mengen, auf denen jeweils eine Ordnung definiert ist. Eine Abbildung

${\displaystyle F\colon M_{1}\longrightarrow M_{2},\,x\longmapsto F(x),}$

heißt monoton fallend, wenn für alle ${\displaystyle {}x,x'\in M_{1}}$ mit ${\displaystyle {}x\leq _{1}x'}$ stets ${\displaystyle {}F(x)\geq _{2}F(x')}$ gilt.