齋藤正彦著『数学の基礎』

p.17

「実際、 Z のすべての元は 0, -1, 1, 2, -2, 3, -3, … と一列に並べられる。すなわち、 n ∈ N に対して f(2*n) = -n, f(2*n+1) = n とおけば f は N から Z への双射である。」


f(2*n) = -n, f(2*n + 1) = n + 1 が正しいですよね。