Structure Induced by Commutative Operation is Commutative

Theorem
Let $$\left({T, \oplus}\right)$$ be an algebraic structure, and let $$S$$ be a set.

Let $$\left({T^S, \oplus}\right)$$ be the structure on $$T^S$$ induced by $$\oplus$$.

If $$\oplus$$ is commutative, then the operation induced on $$T^S$$ by $$\oplus$$ is also commutative.

Proof
Let $$f, g, h \in T^S$$. Let $$\left({T, \oplus}\right)$$ be a commutative algebraic structure. Then: