Definition:Quotient Space by Group Action

Definition
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.

Also see

 * Group Acts by Homeomorphisms Implies Projection on Quotient Space is Open