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$$.