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")