Rough permutations with a fixed set of a given size | Synapse