Finitary alternating group of countable degree

Definition
The finitary alternating group of countable degree is the member of family::finitary alternating group over a set of countable size. In other words, it is the subgroup of the defining ingredient::symmetric group of countable degree comprising the even permutations.