Permutation group/Definition

Group whose elements are permutations of some set of symbols where the product of two permutations is the permutation arising from successive application of the two.