partial permutations