Dati due insiemi A e B non vuoti, una funzione f da A a B è una relazione che associa ad ogni elemento di A uno e un solo elemento di B, detto immagine di A.
È una funzione la legge che associa a ogni persona il proprio giorno di nascita, la residenza, il codice fiscale, non è una funzione la legge che associa a ogni persona il proprio numero di telefono cellulare, perché ci sono persone che non posseggono un numero di telefono cellulare o persone che ne hanno più di uno.
A si dice dominio o campo di esistenza di una funzione, mentre il sottoinsieme di B formato dalle immagini di A è detto codominio o insieme delle immagini.
Quando gli insiemi A e B sono di numeri reali si parla di funzione reale di variabile reale, x è la variabile indipendente e y la variabile dipendente e la legge è di solito espressa mediante la forma
y = f(x)
Si possono classificare le funzioni reali di variabile reale in base alla tipologia di espressione di f(x).
Si parla di funzioni algebriche se, per ogni x dell'insieme di definizione, il valore y si ottiene con un numero finito di operazioni di addizione, sottrazione, moltiplicazione, divisione, elevamento a potenza, estrazione di radice. In particolare si hanno:
Ø funzioni razionali intere se f(x) è un polinomio
Ø funzioni razionali fratte se f(x) è una funzione algebrica
Ø funzioni irrazionali se in f(x) compaiono operazioni di estrazione di radice di espressioni nella variabile x.
Si parla di funzioni trascendenti se, oltre alle operazioni indicate per le funzioni algebriche, compaiono altri operatori. Le funzioni trascendenti già note sono la funzione esponenziale e la funzione logaritmica, le funzioni goniometriche e le loro inverse.
Il grafico o diagramma di una funzione è l’insieme di tutti i punti del piano cartesiano che hanno per ascissa i valori di x e per ordinata i corrispondenti valori del codominio, ossia è l’insieme di tutti i punti del tipo P( x ; f (x) ).
E' possibile studiare il segno di una funzione, cioè cercare per quali valori di x appartenenti al dominio il corrispondente valore di y è positivo e per quali è negativo.