Explicação passo a passo:
Considere uma função [tex]f:A\longrightarrow B[/tex]. Essa notação quer dizer que a função associa elementos do conjunto [tex]A[/tex] ao conjunto [tex]B[/tex]. O conjunto [tex]A[/tex] é chamado de domínio da função, e [tex]B[/tex] é o contradomínio. A função [tex]f[/tex] "manda flechas" de [tex]A[/tex] até [tex]B[/tex], ou seja, associa cada elemento de [tex]A[/tex] a um elemento de [tex]B[/tex].
Mas nem todos os elementos do contradomínio vão necessariamente "receber uma flecha" de [tex]A[/tex] pela função [tex]f[/tex]. O conjunto de elementos de [tex]B[/tex] que "recebem uma flecha", isto é, têm um elemento de [tex]A[/tex] associado, é chamado de imagem da função [tex]f[/tex].
A imagem abaixo ilustra melhor:
