Funções

É  a correspondência entre dois ou mais conjuntos. Para ser considerada função todos elementos de um conjunto (Contradomínio), deve ser ter correspondente no conjunto (Contradomínio), ou seja, nenhum elemento do conjunto (domínio) pode ficar sem correspondente.

Por exemplo: Dados dois conjuntos A e B não vazios, uma função f de A em B é uma relação que associa a cada elemento 

x∈A, um único elemento y∈B. Assim, uma função liga um elemento do domínio (conjunto A de valores de entrada) com um segundo conjunto, o contradomínio (conjunto B de valores de saída) de tal forma que a cada elemento do domínio está associado exatamente a um, e somente um, elemento do contradomínio. O conjunto dos elementos do contradomínio que são relacionados pela f a algum x do domínio é o conjunto imagem, denotado por Im(f).

                                  Figura 1 - Exemplo de função: