group of transformations of a set