In matematica, una funzione è una relazione tra due insiemi, chiamati dominio e codominio della funzione, che associa a ogni elemento del dominio uno e un solo elemento del codominio.
Se il dominio e il codominio della funzione sono rispettivamente indicati con e , la relazione si indica con e l’elemento che associa a si indica con (si pronuncia "effe di x").