\begin{definition}[Definition:Generated Ring Extension]
Let $S$ be a commutative rings with unity.
Let $R$ be a subring of $S$ with unity such that the unity of $R$ is the unity of $S$.
That is, $S$ is a ring extension of $R$.
Let $T \subseteq S$ be a subset of $S$.
\end{definition}