\begin{definition}[Definition:Generated Ideal of Ring/Definition 1]
Let $R$ be a ring.
Let $S \subseteq R$ be a subset.
The '''ideal generated by $S$''' is the smallest ideal of $R$ containing $S$, that is, the intersection of all ideals containing $S$.
\end{definition}