\begin{definition}[Definition:Coprime Ideals]
Let $A$ be a commutative ring with unity.
Let $I, J \subseteq A$ be ideals.
Then $I$ and $J$ are '''coprime''' {{iff}} their sum is the unit ideal:
:$I + J = A$.
\end{definition}