C1 - permutation and symmetry

• let $A$ be a set, then the permutation of set a is a bijective function such that $f:A\to A$

the symmetry of $A$ is defined as:

where, $f$ is a permutation of $A$

• the symmetry equipped with function compositions $(\text{sym}(A),\circ )$ forms a group