Given a finite set X of distinct symbols the symmetric group S* and the alternating group A* are obtained without further constructions. More interesting groups are contrived, however, by imposing a certain structure on ...