In the classes of infinite
symmetric groups, their normal subgroups, and their factor groups, we determine
those groups which are equivalent in the sense that they may not be distinguished
by the solvability of a system of finitely many equations in variables and
parameters.