\begin{definition}[Definition:Generator of Ideal of Ring]
Let $R$ be a commutative ring. 
Let $I \subset R$ be an ideal.
Let $S \subset I$ be a subset.
Then $S$ is a '''generator''' of $I$ {{iff}} $I$ is the ideal generated by $S$.
\end{definition}