\begin{definition}[Definition:Annihilator of Ideal of Ring/Definition 2]
Let $A$ be a commutative ring with unity.
Let $I \subseteq A$ be an ideal.
The '''annihilator''' of $I$ is the ideal quotient:
:$\ideal {0 : I}$
where $0$ is the zero ideal.
\end{definition}