Angeordneter Körper/Teilmenge/Funktion/Fallend/Definition

Fallende Funktion

Es sei ${}K$ ein angeordneter Körper und  ${}T\subseteq K$  eine Teilmenge. Eine Abbildung

$f\colon T\longrightarrow K$

heißt fallend, wenn für je zwei Elemente  ${}x,x'\in T$  mit  ${}x\leq x'$  die Abschätzung  ${}f(x)\geq f(x')$  gilt.