Definição

 O domínio, o contradomínio e a imagem de uma função são conjuntos importantes para definirmos o que é função e compreendermos melhor o seu comportamento. Uma função é uma relação entre dois conjuntos domínio e contradomínio em que, para cada elemento do domínio, existirá um único correspondente no contradomínio, esse correspondente é conhecido como imagem.  Por exemplo, se a função pega elementos do domínio e relaciona-os com o dobro deles no contradomínio, 2 estará relacionado com 4, logo, a imagem da função para 2 é igual a 4. Ao juntarmos todas as imagens, formamos o conjunto das imagens, que são todos os elementos do contradomínio correspondentes a algum elemento do domínio.

Para entender o que são domínio, contradomínio e imagem, precisamos definir o que é função. Conhecemos como função uma relação entre dois conjuntos A e B, em que, para todo elemento do conjunto A, existe um único correspondente no conjunto B. Perceba que na função os valores do conjunto A, conhecido como domínio, são relacionados aos seus correspondentes no conjunto B, conhecido como contradomínio, dependendo do comportamento dessa função, o que conhecemos como lei de formação.