Dada a função y = f(x) que relaciona os elementos do conjunto A aos elementos do conjunto B, podemos definir:
- O conjunto A é conhecido como domínio. Esse nome é escolhido para esse conjunto devido ao papel dos seus elementos na função.
- O contradomínio é o conjunto em que encontraremos todos os números que podem ser relacionados aos elementos do domínio por meio da função f.
- O subconjunto do contradomínio, formado por todos os seus elementos que se relacionam a algum elemento do domínio, é denominado de imagem.