 Conjugate subset

For a subset $S$ of a group and an element $g$, its conjugate subset isConjugation is a bijection and a group automorphism, so it preserves cardinality and every property expressed using the group operation.