Eine fallende Abbildung f : K → K {\displaystyle {}f\colon K\rightarrow K} auf einem angeordneten Körper K {\displaystyle {}K} .