O domínio de uma função é o conjunto de todos os valores de entrada para os quais está definida. A imagem é o conjunto de todos os valores de saída que realmente produz.
Restrições de domínio comuns:
- Divisão: exclui .
- Raízes de índice par: exige nos reais.
- Logaritmos: exige .
Encontrar a imagem costuma ser mais difícil do que o domínio — é preciso analisar o comportamento da função. Para polinômios, o cálculo (derivadas, análise assintótica) ajuda a determinar a imagem; para funções trigonométricas, explora-se a periodicidade e a amplitude limitada (por exemplo, tem imagem ).
Em programação, "domínio" / "imagem" tornam-se assinaturas de tipo; em aprendizado de máquina, descrevem o espaço de entrada e o espaço de saída de um modelo.