Em matemática, a imagem recíproca, ou contra-imagem, ou pré-imagem ou imagem inversa de um subconjunto do contradomínio de uma função é o conjunto .

O uso da notação não significa que seja uma função invertível, mas se o for, é de facto, a imagem de pela função inversa .

Propriedades

Para toda função , . A prova é simples: qualquer elemento é levado por f para algum elemento de Y, logo . . .

De fato,

Como Categoria:Teoria dos conjuntos