设 $Y$ 是概形 $X$ 的一个闭子概形。设 $i:Y \to X$ 是一个含入映射。我们定义 $Y$ 在 $X$ 中的理想层为以下这个映射的核：$$i^\#: \calO_X \to i_* \calO_Y.$$
设 $X$ 是一个概形。对于任意 $X$ 的闭子概形 $Y$, 对应的理想层 $\scrI_Y$ 是 $X$ 上的一个拟凝聚 sheaf of ideals. 如果进一步要求 $X$ 是 Noetherian 的，那么 $\scrI_Y$ 是凝聚的。反过来，任意 $X$ 上的拟凝聚的 sheaf of ideals 都是由一个闭子概形确定的理想层。