Es sei ( X , O X ) {\displaystyle {}(X,{\mathcal {O}}_{X})} ein beringter Raum. Ein O X {\displaystyle {}{\mathcal {O}}_{X}} -Untermodul I ⊆ O X {\displaystyle {}{\mathcal {I}}\subseteq {\mathcal {O}}_{X}} heißt Idealgarbe.
