Group embeddable in a finitary symmetric group

Definition
A group embeddable in a finitary symmetric group is a group that can be expressed as a subgroup of the finitary symmetric group on some set.