数学において、逆像とは、ある写像によって写された集合の写像される前の集合のことです。
具体的には、写像\(f:X\to Y\)において、集合\(Y\)の部分集合を\(B\)とした場合、\(B\)の逆像\(f^{-1}(B)\)は、内包表記を用いて、以下のように定義されます。
\[f^{-1}(B)=\{x\in X|f(x)\in B\}\]