option α are equivalent to fixing an
option α and permuting the remaining with a
option α is swapped with
The set of all permutations of
option α can be constructed by augmenting the set of
α by each element of
option α in turn.