Estos generadores permiten definir una presentación del grupo simétrico, junto con las relaciones: