Induced Structure Identity

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 $e$ is an identity for $\oplus$, then the constant mapping $f_e: S \to T$ defined as:


 * $\forall x \in S: f_e \left({x}\right) = e$

is the identity for the operation induced on $T^S$ by $\oplus$.

Proof
Let $\left({T, \oplus}\right)$ be a structure with an identity $e$.

Let $f \in T^S$. Then: