Proprieta' funzione iniettiva

[SimoneColombelli76]

Si scusa.z dovrebbe appartenere a f(S) e a f(T)

[Gi8]

Bene, quindi esiste $z$ tale che $f(S) nn f(T)$.
Ma poiché \( f(S \cap T) = \emptyset \), allora abbiamo un assurdo, perché ...