>s∈Sについて、列同士を置換したものs'がSに入るとは限らないので
>Sは対称性を満たさない

条件が対称だといった意味を取り違えている