Una funzione, anche detta mappa o corrispondenza, è una legge che associa ad ogni elemento di un insieme di partenza uno e un solo elemento di un insieme di arrivo.
$$ f : A \rightarrow B $$