# 定義 [[逆対応]]$\Gamma^{-1}$による$b \in B$の像$\Gamma^{-1}(b)$を、$\Gamma$による$b$の**原像**または**逆像**という。 $\Gamma^{-1}(b) \neq \phi$となるのは、$b \in V(\Gamma)$のとき、かつそのときに限る （参考: [[対応#定義域・値域]]）