External Direct Product Commutativity

Theorem
Let $\struct {S \times T, \circ}$ be the external direct product of the two algebraic structures $\struct {S, \circ_1}$ and $\struct {T, \circ_2}$.

Let $\circ_1$ and $\circ_2$ be commutative operations.

Then $\circ$ is also a commutative operation.

Proof
Let $\circ_1$ and $\circ_2$ be commutative operations.

Thus $\circ$ is commutative.