Description: The extension of a permutation, fixing the additional element, is a function. (Contributed by AV, 6-Jan-2019)