Definition:Generator of Ring Extension

Definition
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$ $B$ is the ring extension generated by $S$.

Also see

 * Definition:Generated Ring Extension