Theo lý thuyết tổ hợp truyền thống, hoán vị mô tả một bộ có thứ tự không lặp. Trong đại số trừu tượng, một hoán vị là một song ánh từ một tập hợp hữu hạn X nào đó.