Group operation in the context of "Symmetric group"

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group ${\displaystyle \mathrm {S} _{n}}$ defined over a finite set of ${\displaystyle n}$ symbols consists of the permutations that can be performed on the ${\displaystyle n}$ symbols. Since there are ${\displaystyle n!}$ (${\displaystyle n}$ factorial) such permutation operations, the order (number of elements) of the symmetric group ${\displaystyle \mathrm {S} _{n}}$ is ${\displaystyle n!}$.

Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set.