discrete-math Definition Permutation A permutation π:X→X is a bijective relation such that all elements from X are mapped to themselves: ∀x∈X:π(x)=x