Equation Icon  g ∼ g′ iff gg′−1 ∈ 𝒦 (𝒢) and g,g′ ∈ 𝒢, (9.8 )