Description: Function definition of the permutation sign function for permutations of finite sets. (Contributed by AV, 13-Jan-2019)