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

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

De fato,

  Como  

  Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.