Definizione
141
[1Y6] Dati due insiemi \(A,B\), una funzione \(f:A→ B\) è una terna
\[ A,B,F \]
(dove \(A\) viene detto dominio e \(B\) codominio) e \(F\) è una relazione \(F⊆ A× B\) tale che
\[ ∀ x∈ A ∃!y∈ B , xFy\quad ; \]
cioè gode delle proprietà di essere funzionale e totale (definite in [23X]).
Essendo l’elemento \(y\) unico, possiamo usare la scrittura \(y=f(x)\) per dire appunto che \(y\) è l’unico elemento in relazione \(xFy\) con \(x\).