Una permutación se determina eligiendo una imagen distinta para cada elemento, lo que da \(n!\) posibilidades; las demás afirmaciones son falsas (el orden de composición importa desde \(n=3\) y la identidad siempre es neutro).
El grupo simétrico \(S_n\) es el conjunto de las biyecciones \(\sigma\) de \(\{1,\dots,n\}\) en sí mismo, con la composición \(\sigma\tau\) como operación.