permutations

The factorial of a non-negative integer \(n\), denoted by \(n!\), is the product of all positive integers from 1 to \(n\).

\[ n! = \prod_{k=1}^{n} k \]

The symmetric group is the group of all permutations of a finite set under the operation of composition.