Hola a todos. En el ejemplo se quiere mostrar que Z es numerable, y para eso se define una función biyectiva. Ahora, a mi me parece que no es biyectiva, en particular no es sobreyectiva. Porque por ejemplo, no se le asocia ninguna preimagen a todos los números impares positivos. 

Gracias de antemano.