Orbit Decomposition Lemma

Orbit Decomposition Lemma: Let $G$ be a group acting on a set $X$ via a group action . Then the set of orbits $\{G\cdot x : x\in X\}$ is a partition of $X$.

Equivalently, define a relation $\sim$ on $X$ by $x\sim y$ if there exists $g\in G$ with $g\cdot x=y$. Then $\sim$ is an equivalence relation , and its equivalence classes are exactly the orbits.