Diamo qui la definizione rigorosa di funzione, all'interno della teoria degli insiemi. Questa definizione non è necessaria in una prima lettura. Una funzione f da A a B è un sottoinsieme S del prodotto cartesiano A´B tale che per ogni a Î A esiste un unico b Î B tale che (a,b) Î S. In tal caso si scrive f(a)=b. Per approfondimenti rimandiamo al corso di Algebra.