Uma função #f: X to Y # é dado quando você tem dois conjuntos, e uma lei que lhe diz como associar um, e apenas um item #y em Y # para cada #x em X #.
O caso mais simples é representado pela função numérica, o que significa que você associa um número real a cada número real. Então sim, # x ^ 2 + 5 # é uma função, porque para cada número real, você pode calcular seu quadrado e, em seguida, adicionar cinco. Isso é exatamente o que a "lei" que mencionei antes lhe diz para fazer: escrever #f (x) = x ^ 2 + 5 # (ou também frequentemente # y = x ^ 2 + 5 #) significa "pegar um número # x #, multiplique por si só, obtendo # x ^ 2 #e, em seguida, adicione #5# ao resultado, obtendo # x ^ 2 + 5 #.
