拟凝聚层

设 $(X,\calO_X)$ 是一个环空间。设 $\scrF$ 是一个 $\calO_X$ 模层，如果存在 $X$ 的一个开覆盖 $\{U_\alpha\}$ 使得对于任意 $U_\alpha$ 以下正合列成立

$$ \bigoplus_{j=1}^{m} \calO_{U_\alpha} \to \bigoplus_{i=1}^{n} \calO_{U_\alpha} \to \scrF|_{U_\alpha} \to 0. $$