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