。容易证明下述性质：因此我们可以在formula_10上定义一个拓扑结构，使得其闭子集恰为形如formula_11的子集，称之扎里斯基拓扑。一般而言，扎里斯基拓扑并不满足豪斯多夫性质。
结构层.考虑扎里斯基拓扑下的下述预层：formula_12令formula_13为其层化，称作formula_2的结构层。显然有formula_15，故formula_16构成一个局部赋环空间。一个元素formula_17给出formula_13的截面，事实上可以证明formu