Nein, surjektiv bedeutet hier:
Für jedes z∈Z gibt es ein Paar (x,y) ∈ N x N
mit der Eigenschaft f(x,y) = z.
Und so ein Paar gibt es immer; denn
es ist ja das z entweder ≥0 oder <0.
1. Fall z≥0 dann gilt z∈N also ist
(z,0) ein Paar ∈ N x N und f1(z,0) = z
2. Fall z<0 dann ist -z∈N und f1(0,-z) = z.