Cho n phần tử khác nhau (n ≥ 1). Mỗi cách sắp thứ tự của n phần tử đã cho, mà trong đó mỗi phần tử có mặt đúng một lần, được gọi là một hoán vị của n phần tử đó.

Định lí

Số các hoán vị của n phần tử khác nhau đã cho (n  ≥ 1) được kí hiệu là P_n và bằng:

P_n = n(n - 1)(n - 2)...2 . 1 = n!.