- 1,456

- 44

I have proven this statement by considering the action of ##G## on ##\mathcal{P}(G)##. But this leads me to wonder: In the problem statement is there any reason why ##H## must be a subgroup? Am I right in saying that the statement seems true for any ##S## such that ##S\subset G##?