Dados dois conjuntos e
, ambos não vazios, uma função ou aplicação de
em W é uma lei pela qual a cada elemento de
está associando a um único elemento de
e é indicado por
ou
(imagem de v por f ou por T).
O conjunto é o domínio e o conjunto
é o contra-domínio da função f ou aplicação T.
Costuma-se escrever a função ou aplicação, resumidamente, da seguinte forma: