Die Abbildung f : K → K {\displaystyle {}f\colon K\rightarrow K} heißt fallend, wenn für je zwei Elemente x , x ′ ∈ K {\displaystyle {}x,x'\in K} mit x ≤ x ′ {\displaystyle {}x\leq x'} die Abschätzung f ( x ) ≥ f ( x ′ ) {\displaystyle {}f(x)\geq f(x')} gilt.
