Set of Orbits forms Partition

From ProofWiki
Jump to navigation Jump to search

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