Definition:Orbit (Group Theory)/Set of Orbits

Theorem
Let $G$ be a group whose identity is $e$.

Let $X$ be a set

Let $*: G \times S \to S$ be a group action.

Let $\operatorname{Orb} \left({x}\right)$ be the orbit of $x \in X$.

From Orbit is Equivalence Class, the relation $\mathcal R_G$ defined as:
 * $x \mathop {\mathcal R_G} y \iff y \in \operatorname{Orb} \left({x}\right)$

is an equivalence relation.

The quotient set $X / \mathcal R_G$ is called the set of orbits of $X$ under the action of $G$.