Dicionário de Termos Linguísticos

Em termos de teoria dos conjuntos, uma função é um tipo especial de relação. Uma relação R de A para B é uma função se e só se a cada elemento no domínio corresponde um só elemento na imagem e o domínio de R é igual a A. Escreve-se Y=F(X) em vez de XFY. Os elementos no domínio de uma função chamam-se, por vezes, argumentos e os seus correspondentes na imagem, valores. Em lógica intensional, "(λx) A" denota uma função que representa objectos do tipo sobre os quais X "percorre" em objectos do tipo de A. Exemplo: [ (λx) (X é careca)] (Aristóteles) = (Aristóteles é careca).