Olá, Carine! Bom, primeiramente, temos que ter em mente que são dois conjuntos, o domínio e o contradomínio. Para que o diagrama represente uma FUNÇÃO, é necessário que não sobre elementos no DOMÍNIO. Por outro lado, se sobrar algum elemento no contradomínio, não fazemos nada. Eles são apenas possibilidades que não foram utilizados.
Pense em um café da manhã no qual você pode pegar presunto ou mortadela para por no pão. se pegar o presunto, a mortadela sobra... e tá tudo bem. Ela apenas vai ficar lá sem uso. kkkkk Ninguém come presunto com mortadela! rsrs