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