Power Structure of Magma is Magma

Theorem
Let $\struct {S, \circ}$ be a magma.

Let $\struct {\powerset S, \circ_\PP}$ be the algebraic structure consisting of the power set of $S$ and the operation induced on $\powerset S$ by $\circ$.

Then $\struct {\powerset S, \circ_\PP}$ is a magma.

Proof
Let $\struct {S, \circ}$ be a magma.

Let $A, B \subseteq S$.

Thus $\struct {\powerset S, \circ_\PP}$ is a magma.