Hola
he revisado varios libros y me explican que la regla debería ser
\( f:\mathbb{N}\rightarrow{\textrm{el conjunto a evaluar}} \)
al hacerlo como me explicas
\( f:C\to \mathbb{N} \)
no estaría siguiendo la guía que me dan
Dado que buscas una aplicación biyectiva tiene inversa y por tanto es equivalente dar la función o su inversa.
En otras palabras toma la inversa de la dada por Fernando:
\( g:\Bbb N\to C,\qquad g(n)=5n \)
Saludos.
