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.