Suppose we have a Group Action of a Group on a set
The orbit of is defined as:

Note that
so orbits partition the set .