Em matemática, a imagem recíproca de um subconjunto do contradomínio de um 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 .