Definition:Generated Ring Extension

Definition
Let $R$ and $S$ be commutative rings with unity.

Let $\phi : R \to S$ be a ring extension of $R$.

Let $T \subseteq S$ be a subset of $S$.

Also see

 * Equivalence of Definitions of Generated Ring Extension
 * Definition:Generated Field Extension
 * Definition:Generated Subalgebra over Ring