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