定義（代数的整数論017の333）
A = (Ob(A), Hom(A), s_A, t_A)
B = (Ob(B), Hom(B), s_B, t_B)
をグラフ（>>634）とする。

Ob(B) = Ob(A)
Hom(B) = Hom(A)
s_B = t_A
t_B = s_A
のとき B を A の双対グラフ（opposite graph）と呼び、A^o と書く。
A^o は A の全ての射の向きを変えたものである。