I- Na função sobrejetora o contradomínio é igual ao conjunto imagem. Portanto, todo elemento de B é imagem de pelo menos um elemento de A.

A meu ver, gabarito errado da banca.

Todo elemento de B, de fato, é IMAGEM de pelo menos um elemento de A, podendo ser, inclusive, imagem de mais de um elemento de A.

O que não pode acontecer para que a função deixe de ser SOBREJETORA é sobrar algum elemento em B (sem ligação a qualquer elemento de A), daí o contradomínio não seria igual ao conjunto imagem.