This won't work for bare sets, but for most things with additional structure (groups, modules, etc.), the first isomorphism theorem is often used to show that some set (with structure) is equal to a quotient of other sets.

For sets with G-action, the orbit-stabilizer theorem is used for the same purpose.