\begin{definition}[Definition:Generator of Ring Extension]
Let $f : A \to B$ be a ring extension of commutative rings with unity.
Let $S \subset B$ be a subset.
Then $S$ is a '''generator of $B$ over $A$''' {{iff}} $B$ is the ring extension generated by $S$.
\end{definition}