Group of Permutations

Given a set $S$, the group of permutatations of $S$ is the set of bijections:

$$\Sigma (S)=\{f:S\cong S\}$$

The group of finite permutations is the group of permutations where each permutation only affects a finite subset of $S$.