「集合論」の版間の差分

写像<math>f:X \to Y</math>とYの部分集合Tがあるとき、Xの部分集合<math>\{ x|f(x) \in T \}</math>をfによるTの逆像といい、<math>f^{-1}(ST)</math>と書く。

特に<math>T= \{ y \}</math>のときには<math>f^{-1}( \{ y \} )</math>を単に<math>f^{-1} (y)</math>と書くこともしばしばある。しかし、この記号は少し紛らわしいので注意すべきである。<math>f(S)</math>と<math>f^{-1}(ST)</math>はどちらも集合であるのに対して、<math>f(x)</math>は集合の元だが<math>f^{-1}(y)</math>は集合である。