O conchunto de totas as bicheccions d'un conchunto X - simbolizato por S(X) - chunto con a composición de funcions, ye un grupo no abelián (si a cardinalidat de X ye mayor que dos) y se diz grupo simetrico de X.