Coherent ideal sheaf ($\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.