Pointwise Operation on Distributive Structure is Distributive

Theorem
Let $S$ be a set.

Let $\struct {T, +, \circ}$ be an algebraic structure with two operations $+$ and $\circ$.

Let $T^S$ be the set of all mappings from $S$ to $T$.

Let $\struct {T^S, +', \circ'}$ be the structure induced on $T^S$ by $+$ and $\circ$.

Let $\circ$ be distributive over $+$ in $T$.

Then $\circ'$ is distributive over $+'$ in $T$.

Proof
Let $f, g, h: S \to T$ be elements of $T^S$.

Suppose $S$ is the empty set. Suppose $T^S$ is the set of all mappings from the empty set, $S$, to $T$.

Suppose $\struct {T^S, +', \circ'}$ is the structure induced on $T^S$ by $+$ and $\circ$.

Suppose $\circ$ is distributive over $+$ in $T$.

Then $\circ'$ is distributive over $+'$ in $T$, as required.

Suppose $S$ is non-empty.

Let $x \in S$.

Then:

Similarly:
 * $\map {\paren {\paren {g +' h} \circ' f} } x = \map {\paren {\paren {g \circ' f} +' \paren {h \circ' f} } } x$

Hence the result.