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.