You can say, a permutation is a sequence of atoms and then read immediately from the transfer theorem, that the generative functions for permutations has to be one of one - z or you can say, a permutation is either empty or the store product of an atom in a permutation. and that will generate all possible permutations. 