定義
G を群とする。
X を G-集合（過去スレpart5の77）とする。
Δ = {(x, x) ∈ X×X； x ∈ X} とおく。
Δ と X×X をそれぞれグラフ（>>341）にもつ X 上の同値関係は G-不変（>>297）である。
これ等を自明な G-不変な同値関係という。