For every bijection , is a bijection from to . For a bijection from to you can take the Cantor pairing function or .
Not sure if this is the appropriate place. Seems like an aglebraic topic.
I would like a one to one and onto function f that goes from N^3 to N. Something like
f(x,y,z) -> n.