Symmetric group on finite or cofinite subset is conjugacy-closed

Statement
Suppose $$S \subseteq T$$ are sets. Then, the symmetric group $$\operatorname{Sym}(S)$$ embeds naturally as a subgroup of $$\operatorname{Sym}(T)$$: any permutation of $$S$$ extends to a permutation of $$T$$ as the identity map on $$T \setminus S$$.

With this embedding, if either $$S$$ or $$T \setminus S$$ is finite, $$\operatorname{Sym}(S)$$ is a conjugacy-closed subgroup in $$\operatorname{Sym}(T)$$. In other words, if two elements of $$\operatorname{Sym}(S)$$ are conjugate in $$\operatorname{Sym}(T)$$, they are also conjugate in $$\operatorname{Sym}(S)$$.

Stronger formulation
Symmetric group on finite or cofinite subset is subset-conjugacy-closed: Not only can we perform conjugation of single elements, we can also perform conjugation of subsets inducing exactly the same map on each element of the subset.

Breakdown for infinite coinfinite subsets
If both $$S$$ and $$T \setminus S$$ are infinite, then $$\operatorname{Sym}(S)$$ is not conjugacy-closed in $$\operatorname{Sym}(T)$$.

Other related facts
Facts about conjugacy and conjugacy-closedness:


 * Finitary symmetric group is conjugacy-closed in symmetric group
 * Finitary symmetric group on subset is conjugacy-closed
 * Brauer's permutation lemma: This states that the symmetric group is conjugacy-closed in the general linear group.
 * Symmetric groups on finite sets are complete, Symmetric groups on infinite sets are complete: Any automorphism of a symmetric group is inner, except when the underlying set has size six. Further, the symmetric groups are centerless.

Some other facts about finitary symmetric groups and symmetric groups related to conjugacy:


 * Finitary symmetric group on infinite subset is conjugate-dense
 * Symmetric group on proper subset is not conjugate-dense