Coherent ideal sheaf
= Coherent ideal sheaf
{title2=$\mathcal I\subseteq\mathcal O_X$}
An <ideal sheaf of a closed subscheme> that is a <coherent sheaf> as a <module> over the <structure sheaf>. On a <Noetherian scheme>, every <quasi-coherent> ideal sheaf is coherent.