up:: Group Action

Let be a Group acting upon a set . Let and its Orbit.

Then the map

is a surjection, since all points in the orbit have at least some which take to it.