定義
R を集合 X 上の同値関係とする。
X×X の部分集合 G = {(x, y) ∈ X×X； x ≡ y (mod R)} を R のグラフと言う。