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.