# 定義 $\Gamma$を$A \rightarrow B$の[[対応]]とする。 $B$の各元$b$に対し、$b \in \Gamma(a)$であるような$A$の元全体の作る$A$の部分集合を$\Gamma$の**逆対応**といい、$\Gamma^{-1}$で表す。 # 逆対応のグラフ $ G(\Gamma^{-1}) = \{ (b, a) \ | \ (a, b) \in G(\Gamma) \} $