Jika \(X\) merupakan himpunan-\(G\text{,}\) maka setiap partisi \(X\) yang terkait dengan ekuivalensi-\(G\) disebut orbit dari \(X\) di bawah \(G\text{.}\) Kita akan menyatakan orbit yang memuat suatu unsur \(x\) dari \(X\) dengan \({\mathcal O}_x\text{.}\)