Distributivity is Preserved in Induced Structure

Theorem
Let $\left({T, \oplus, \otimes}\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$.

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

If $\otimes$ is distributive over $\oplus$, then the operation induced on $T^S$ by $\otimes$ is distributive over the operation induced by $\oplus$.

Proof
Let $\left({T, \oplus, \otimes}\right)$ be an algebraic structure in which $\otimes$ distributes over $\oplus$.

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

Then:

This shows left-distributivity.

The proof for right-distributivity is identical.