Uma função de um conjunto (o domínio) para um conjunto (o contradomínio) é uma regra que atribui a cada elemento exatamente um . O conjunto de todas as saídas reais é a imagem.
As funções são a espinha dorsal de toda a matemática — o cálculo estuda suas derivadas e integrais, a álgebra linear estuda funções lineares (matrizes) e a ciência da computação as estuda como algoritmos.
Uma função pode ser definida por:
- Uma fórmula (),
- Um gráfico (conjunto de pontos ),
- Uma tabela de pares entrada-saída,
- Ou uma regra verbal.
O teste da reta vertical distingue funções de relações arbitrárias: qualquer reta vertical cruza o gráfico de uma função no máximo uma vez.