# 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$