对于函数 f : X → X ，若 f 是双射的，则称 f 是集合 X上的一个置换 permutation 或排列。显然，X 上的恒等函数是 X 上的一个置换，亦称为n元置换或简称置换。
置换的复合
r-轮换
假设有限集合S包含n个元素，以（a1，a2…，ar，）表示S的一个如下置换：将a1映射为a2，将a2映射为a3，.…将ar-1映射为ar，将ar映射为a1，同时将其它元素映射到自身。（a1，a2，…，a，）称为一个r-轮换或简称轮换（cycle permutation），r称作该轮换的长度。2-轮换也称作对换。
参考博客：
【1】集合论 第四章 函数与集合(2) 特殊函数类（单射、满射、双射及其性质、常/恒等函数、置换/排列）
