Angeordneter Körper/Streng wachsend/Injektiv/Fakt/Name/Inhalt

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

$f\colon T\longrightarrow K$

eine streng wachsende (oder streng fallende) Funktion. Dann ist ${}f$ injektiv.