上的开集。这样的构造，（通过大量的工作）被证明提供了恰好足够多的开集，使得常系数上同调群（在系数为formula_1时，其中n与域的特征互质）有良好的性质。一些基本的直观理解如下：
定义.令formula_2为一个概形之间的态射，formula_3为一个Y-概形，J为一个Z上的幂零理想层（nilpotent sheaf of ideals），formula_4为formula_5所确定的闭浸入。若对于所有的Y-态射formula_6，都存在唯一的Y-态射formula_7使得f