Finitary symmetric group

Definition
A finitary symmetric group on a set is the group of all those permutations of the set that have finite support, viz permutations that fix all but finitely many elements. A group is said to be a finitary symmetric group if it is the finitary symmetric group over some set.

Related group properties

 * Symmetric group
 * Alternating group
 * Finitary alternating group