orbit-stabilizer theorem

Noun

 * 1)  A theorem which states that for each element of a given set that a given group acts on, there is a natural bijection between the orbit of that element and the cosets of the stabilizer subgroup with respect to that element.