Vamos analisar as alternativas para a definição de função injetora: - Função injetora é aquela em que elementos distintos do domínio têm imagens distintas no contradomínio. Analisando as alternativas: a) "todo elemento de B é imagem de algum elemento de A" — isso define função sobrejetora, não injetora. b) "é, ao mesmo tempo, injetora e sobrejetora" — isso define função bijetora, não apenas injetora. c) "elementos distintos do domínio possuem imagens distintas" — essa é a definição correta de função injetora. d) "todo elemento de A possui imagem" — isso é definição de função (total), não necessariamente injetora. e) "existe elemento de B sem correspondente" — isso indica que não é sobrejetora, mas não define injetora. Portanto, a alternativa correta é: c) elementos distintos do domínio possuem imagens distintas.