 Coherent ideal sheaf

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.