Subset Product within Commutative Structure is Commutative

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

If $\circ$ is commutative, then the operation $\circ_\PP$ induced on the power set of $S$ is also commutative.

Proof
Let $\struct {S, \circ}$ be a magma in which $\circ$ is commutative.

Let $X, Y \in \powerset S$.

Then:

Hence $\circ_\PP$ is commutative on $\powerset S$.

Also see

 * Subset Product within Semigroup is Associative