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.

$\blacksquare$

Also see

• Group Action Induces Equivalence Relation