Symmetric group of countable degree

Definition
The symmetric group of countable degree is defined as the member of family::symmetric group on a set of countable size. This group is denoted $$\operatorname{Sym}(\Omega)$$ or $$S_\omega$$.

The typical countable set used is $$\{ 1,2,3, \dots \}$$, the set of natural numbers.