# 定義 いかに示す$A$の上の[[恒等写像]]$I_A$の[[対応#対応のグラフ|グラフ]]を、**対角線集合**という。 $ \{(a, I_A(a)) \ | \ a \in A \} = \{(a, a) \ | \ a \in A\} $