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