Uma função mapeia elementos de um conjunto domínio para um conjunto contra-domínio de acordo com certas regras. Ela associa cada elemento do domínio a exatamente um elemento do contra-domínio. O gráfico de uma função representa os pares ordenados de elementos mapeados. Funções podem ser parciais ou multivariadas em alguns contextos.