A permutation of a set is a bijection from to itself.
Permutations form groups under composition, and for a finite set with elements the full permutation group is .
Cycle notation records how a permutation moves elements around.
One-line intuition
A permutation is a reversible reordering of a set.