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

Es sei ein angeordneter Körper, eine Teilmenge und

eine streng wachsende (oder streng fallende) Funktion. Dann ist injektiv.