Defining the Permutation Group.pdf