Set of Permutations is Largest Effective Transformation Group

Theorem
The set of permutations of a set $X$ forms the largest effective transformation group of $X$.