Una funzione da un insieme (il dominio) a un insieme (il codominio) è una regola che assegna a ogni elemento esattamente un . L’insieme di tutte le uscite effettive è l’immagine.
Le funzioni sono la spina dorsale di tutta la matematica — il calcolo studia le loro derivate e i loro integrali, l’algebra lineare studia le funzioni lineari (matrici) e l’informatica le studia come algoritmi.
Una funzione può essere definita mediante:
- una formula (),
- un grafico (insieme dei punti ),
- una tabella di coppie ingresso-uscita,
- oppure una regola verbale.
Il test della retta verticale distingue le funzioni dalle relazioni arbitrarie: ogni retta verticale interseca il grafico di una funzione al più una volta.