E' sempre possibile restringere il codominio di una funzione all'insieme formato da tutte e sole le immagini di x.