hay ideas muy buenas acá, como te dije ayer. Faltaría formalizar la definición de la función y en lugar de usar la cardinalidad de los conjuntos (tema que vamos a ver después) probar directamente la sobreyectividad.