Em matemática, a imagem recíproca, ou contra-imagem, ou pré-imagem ou imagem inversa de um subconjunto ${\displaystyle B}$ do contradomínio de uma função ${\displaystyle f:X\rightarrow Y}$ é o conjunto ${\displaystyle f^{-1}(B)=\left\{x\in X:f(x)\in B\right\}}$.

O uso da notação ${\displaystyle f^{-1}(B)}$ não significa que ${\displaystyle f}$ seja uma função invertível, mas se o for, ${\displaystyle f^{-1}(B)}$ é de facto, a imagem de ${\displaystyle B}$ pela função inversa ${\displaystyle f^{-1}}$.