f2(1,2) = f2(2,1) aber (1,2)≠(2,1) also nicht injektiv.
Für alle n∈ℕ gilt f2(1,n)=n , also surjektiv.
f3(x,y) = f3(a,b)
==> (x + y, x) = (a + b, b)
==>  x+y=a+b  ∧  x=b
==>  b+y = a+b   ∧  x=b
==>  y = a ∧  x=b
==>  (x,y) = (a,b)  . Also injektiv.
Sei (a,b) ∈ ℤxℤ. Gibt es (x,y) ∈ ℤxℤ mit f3(x,y) = (a,b) ???
Dann müsste gelten (x + y, x) = (a,b)
==>   x+y=a   ∧  x=b
==> b+y = a ∧  x=b
==>  y = a-b    ∧  x=b
Für alle  (a,b) ∈ ℤxℤ  ist (b , a-b )  ∈ ℤxℤ
das Paar, dessen f3-Bild (a,b) ist. Also f3 surjektiv.