Cayley's theorem states that any abstract group is a subgroup of the permutations of some set X, and so can be considered as the symmetry group of X with some extra structure. In addition, many abstract features of the group (defined purely in terms of the group operation) can be interpreted in terms of symmetries.