\begin{definition}[Definition:Saturation of Ideal by Multiplicatively Closed Subset]
Let $A$ be a commutative ring with unity.
Let $\mathfrak a \subseteq A$ be an ideal.
Let $S \subseteq A$ be a multiplicatively closed subset.
\end{definition}