Definition:Quotient Space by Group Action

Definition
Let $G$ be a group acting on a topological space $X$.

The quotient of $X$ be the action of $G$, denoted $X/G$, is the set of orbits equipped with the quotient topology.

Also see

 * Projection on Quotient Space by Group Action is Open