Hola!, Cuando decis: "elementos distintos del conjunto me dan imágenes distintas" Eso ocurre en las funciones inyectivas.
Pero el concepto de superposición no es tan fuerte, por lo que entendí la superposición, es algo como lo de este ejemplo:
F(2)=3
F(2)=1
Es decir para un mismo elemento existen distintos valores como resultado al aplicar F.
Lo que se debería verificar en el ejercicio es la no superposición, o sea que cada elemento del dominio tenga un único valor como resultado.