Mi chiedevo se fosse possibile costruire sempre una funzione iniettiva da $NN$ a un insieme $X$ infinito, e mi sono risposto così:
si può fare, basta definire la funzione in modo che $0$ lo mandiamo in un elemento qualsiasi di $X$, poi $1$ lo mandiamo in un elemento di $X$ diverso da quello scelto per $0$, poi $2$ lo mandiamo in un elemento di $X$ diverso da quello scelto per $0,1$ e cosi via, il fatto che $X$ sia infinito mi permette di scegliere per ogni numero naturale un elemento di $X$ diverso da quelli scelti per i naturali precedenti e quindi la funzione è iniettiva.