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 .