類別というのが
関係g〜hをg^(-1)h∈Sで定義したとき同値関係になるということなら
確かにSが部分群であることが必要十分だな