Permutation

Given a finite set \(S\), a bijective map \(f: S\rightarrow S\) is a permutation on \(S\).