Definition

The orbits are equivalence classes corresponding to an equivalence relation. The set of orbits is called Orbit space, denoted $X/G$.