Uma função é uma regra que atribui aos elementos de um conjunto um elemento único de outro conjunto. Como podemos definir uma função injetora?

Uma função injetora, também conhecida como função um-para-um, é uma função \( f: A \rightarrow B \) onde, para todo par de elementos \( x_1 \) e \( x_2 \) em \( A \), se \( f(x_1) = f(x_2) \), então \( x_1 = x_2 \). Em outras palavras, elementos diferentes do conjunto \( A \) são mapeados para elementos diferentes no conjunto \( B \). Isso garante que não há dois elementos distintos em \( A \) que tenham a mesma imagem em \( B \).