Angeordneter Körper/Teilmenge/Funktion/Streng fallend/Definition

Streng fallende Funktion

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

$f\colon T\longrightarrow K$

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