集合Xと集合Yがあり、XからYへの写像fがあるとする。
このとき、Xの部分集合Aに対して、Yの部分集合 {y|∃a∈A,y=f(a)}を、fによるAの像といい、 f(A)と書く。
また、Yの部分集合Bに対して、Xの部分集合 {x|∃b∈B,b=f(x)}を、fによるBの逆像といい、 f−1(B)と書く。逆像を原像ともいう。
メモ。以下も参照しよう。