EDB — 1Y6

[1Y6] Dati due insiemi $A,B$, una funzione $f:A\to B$ è una terna

(dove $A$ viene detto dominio e $B$ codominio) e $F$ è una relazione $F\subseteq A\times B$ tale che

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$.

L’insieme $F$ viene anche detto grafico della funzione.