orbitLet G be a group, X a set, and ⋅:G×X⟶X a group action. For any x∈X, the orbit of x under the group action is the set{g⋅x∣g∈G}⊂X.