Definition

Given a group action of on a set , the orbit space is the set of equivalence classes which are the orbits of the action.