2. O que é uma função:
Função é um dos conceitos mais importantes da matemática. Existem várias definições,
dependendo da forma como são escolhidos os axiomas.
Funções da linguagem
Funções da linguagem são recursos de ênfase que atuam segundo a intenção do
produtor da mensagem, cada qual abordando um diferente elemento da comunicação.
Um texto pode apresentar mais de uma função enfatizado
Domínio de um função
Numa função f de A em B, chamamos de domínio de f e indicamos por D(f )
ou Dom(f ) o conjunto dos elementos de A que estão representados em B, isto
é, o conjunto dos elementos a  A para os quais existe b  B tal que f(a) = b.
Note que o domínio de uma função g de A em B coincide com o conjunto de
partida A se, e somente se cada elemento do conjunto de partida A admite um
representante em B, isto é, se, e só se g é função total.

3. Contradomínio de uma função
Em matemática, de forma não muito rigorosa pode-se definir contradomínio como o conjunto
de todos os elementos dependentes da função. Pelas formulações axiomáticas da teoria dos
conjuntos,
IMAGEM DE UMA FUNÇÃO
Dada uma função f : A  B a imagem de f, que representamos por Im( f ) ou
por f (A), é o conjunto dos elementos b  B para os quais existe a  A
satisfazendo f (a) = b. Simbolicamente:
Im( f ) = f (A) = {b  B : aA, b = f (a)}
Objeto de uma função
A objeto da função, chamado também a functor, funcional, ou functionoid[citação
necessitada]
, é a programação do computador reservar da construção objeto para ser
invocado ou chamado como se era um ordinário função, geralmente com a mesma
sintaxe. O termo functor, neste contexto, não é relacionado ao conceito de a functor no
campo matemático de teoria da categor

4. .
Conjunto de chegada de função
Em matemática, o conjunto imagem (conhecido também como campo de valores) de
uma função é um subconjunto do contradomínio formado pelos valores
que uma função pode chegar a tomar. É representado por f(X), Im(f), Imf ou If e é
definida por:
Em uma função qualquer, se o seu contradomínio é igual ao seu conjunto imagem, diz-
se que esta função é sobrejetora.
José Nuno