Finitary symmetric group of countable degree

Definition
The finitary symmetric group of countable degree is defined as the member of family::finitary symmetric group on a set of countable size. In other words, it is the subgroup of the defining ingredient::symmetric group of countable degree comprising the finitary permutations: the permutations that move only finitely many elements.