Power Structure of Group is Semigroup/Proof 1

Proof
We need to prove closure and associativity.

Closure
Let $\struct {G, \circ}$ be a group, and let $A, B \subseteq G$.

Thus $\struct {\powerset G, \circ_\PP}$ is closed.

Associativity
It follows from Subset Product within Semigroup is Associative that $\circ_\PP$ is associative in $\struct {\powerset G, \circ_\PP}$.

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