An action translates the abstract multiplication of a group into transformations of a set.
The orbit of x is the set of points reachable from it:
Orb(x)={g⋅x:g∈G}.
The stabilizer is the subgroup of transformations fixing x:
Stab(x)={g∈G:g⋅x=x}.
Their sizes are related by the Orbit–Stabilizer Theorem.