Conjugate subset (source code)

= Conjugate subset

For a subset $S$ of a <group> and an element $g$, its conjugate subset is
$$
gSg^{-1}=\{gsg^{-1}:s\in S\}.
$$
Conjugation is a <bijection> and a <group automorphism>, so it preserves cardinality and every property expressed using the group operation.