Para entender o que é uma função injetiva, precisamos lembrar que uma função injetiva (ou injetora) é aquela em que elementos diferentes do conjunto de partida (X) são mapeados em elementos diferentes do conjunto de chegada (Y). Isso significa que não pode haver dois elementos de X que se mapeiem para o mesmo elemento de Y. Vamos analisar as alternativas: a) Cada elemento de X é mapeado em mais de um elemento de Y - Isso não é verdade para uma função injetiva, pois cada elemento de X deve mapear para no máximo um elemento de Y. b) Cada elemento de X é mapeado em no máximo um elemento de Y - Esta afirmação está correta, pois em uma função injetiva, cada elemento de X deve mapear para no máximo um elemento de Y. c) Cada elemento de Y é mapeado em no máximo um elemento de X - Isso descreve uma função sobrejetiva, não uma injetiva. d) Cada elemento de X tem uma imagem em Y - Embora isso seja verdade para qualquer função, não define especificamente uma função injetiva. Portanto, a alternativa correta que define uma função injetiva é: b) Cada elemento de X é mapeado em no máximo um elemento de Y.