I was wondering if anyone could give me some ideas for a bijective function from $Z^{+} \times Z^{+} \rightarrow N \times O D D$ (Natural number include 0 in this case.)
One idea I had was to define as $ f(x)= gcd(a, b),$ if $x=2^{a} b,$ b odd. But this is Z+ to N instead of $Z^{+} \times Z^{+}$ to N