Support of a permutation (source code)

= Support of a permutation

The support of a permutation is the set of elements it does not fix. A permutation has finite support when this set is finite.