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 $\left({T, \oplus}\right)$ be a commutative algebraic structure.

Let $f, g \in T^S$.

Then: