Wenn die beiden Teilfunktionen injektiv - und damit streng monoton - sind, kannst du einfach die Wertemengen beider Teilfunktionen bestimmen und überprüfen, ob deren Schnittmenge leer ist:
f1 : ℤo+ → ℤ , n ↦ n+1 ist streng monoton wachsend
f1 ( ℤo+ ) = {1 , 2 , 3 ... }
f2 : ℤ- → ℤ , n ↦ n -1 ist streng monoton wachsend
f2 ( ℤ0- ) = {-2 , -3 , -4 ... }
Die Schnittmenge der beiden Wertemengen ist leer
→ f ist injektiv