Jika \(G\) beraksi pada suatu himpunan \(X\) dan \(x, y \in X\text{,}\) maka \(x\) dikatakan ekuivalen-\(G\) dengan \(y\) jika terdapat \(g \in G\) sedemikian sehingga \(gx =y\text{.}\) Kita menulis \(x \sim_G y\) atau \(x \sim y\) jika kedua unsur ekuivalen-\(G\text{.}\)