for X, Y being set st X,Y are_equipotent holds
SymGroup X, SymGroup Y are_isomorphic