Power Structure of Group is Semigroup

Theorem
Let $\struct {G, \circ}$ be a group.

Let $\struct {\powerset G, \circ_\PP}$ be the power structure of $\struct {G, \circ}$.

Then $\struct {\powerset G, \circ_\PP}$ is a semigroup.