Set of Orbits forms Partition

Theorem
Let $G$ be a group.

Let $X$ be a set.

Let $G$ act on $X$.

Then the set of orbits of the group action forms a partition of $X$.

Proof
Follows from the Fundamental Theorem on Equivalence Relations.

Also see

 * Group Action Induces Equivalence Relation