\begin{definition}[Definition:Quotient Space by Group Action]
Let $G$ be a group acting on a topological space $X$.
The '''quotient of $X$ by the action of $G$''', denoted $X / G$, is the set of orbits equipped with the quotient topology.
\end{definition}