Given a group πΊ acting on a space π, the orbit space1 or quotientπ/πΊ is the set of orbits partitioning π. group
If π is a topological space,
π/πΊ is typically endowed with the quotient topology induced by the projection π:π₯β¦πΊπ₯.