Angeordneter Körper/Streng wachsend/Injektiv/Fakt

Aus Wikiversity

Es sei ein angeordneter Körper, eine Teilmenge und

eine streng wachsende (oder streng fallende) Funktion.

Dann ist injektiv.