Sejam dados dois conjuntos A e B não vazios. Chama-se Função (ou aplicação) de A em B, representada por f:A → B; y=f(x), a qualquer relação binária que associa a cada elemento de A um único elemento em B