tion::::代数封闭域.取定一个代数封闭域 formula_84 及其子集 formula_85。令 formula_86 为 formula_87 生成的子域，则可定义下述映到交换环谱的连续映射：同用利用量词消去性质，可以证明 i 给出集合的双射，由此在 formula_90 引出的拓扑较扎里斯基拓扑细，而扎里斯基拓扑里的闭集拉回后正好是 Stone 空间中由定义的开/闭集，其中 formula_92。扎里斯基拓扑中对应到不可约子簇的一般点则拉回到在某个超越扩张上实现的型。Section: