Se aplica primero \(\tau\): \(\tau(2)=3\) y luego \(\sigma(3)=3\). El valor \(1\) resulta de aplicar los factores en el orden contrario, \(\tau\sigma(2)\).
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.