143
[08X]Sia \(A\) insieme non vuoto, siano \(f:A→\{ 0,1\} \) e \(g:A→\{ 1\} \) entrambe date da \(f(x)=g(x)=1\) per ogni \(x∈ A\).
Siano \(F,G\) rispettivamente i grafici: notate che \(F=G\) (!) Diremo che \(f=g\) oppure no? Si sceglie il no, altrimenti il concetto di “surgettivo” non avrebbe senso.
Per questo nella definizione abbiamo deciso che la funzione è la terna “dominio”, “codominio”, “relazione”.