Permutation group examples. In S1, we define ι to be even.