Conjugation-Invariant Subsets Are Unions of Conjugacy Classes