Angeordneter Körper/Streng wachsend/Injektiv/Fakt
Es sei ein angeordneter Körper, eine Teilmenge und
eine streng wachsende (oder streng fallende) Funktion.
Dann ist injektiv.
Es sei ein angeordneter Körper, eine Teilmenge und
eine streng wachsende (oder streng fallende) Funktion.
Dann ist injektiv.