Galois connection
这样，我们得到了一个在"K""n" 中的代数集与"K"["X"1,"X"2..., "X""n"]中根理想之间的反序一一映射。实际上，更一般地，我们有在空间的子集的集合与代数的子集的集合之间的伽罗瓦连接，其中“扎里斯基闭包”与“理想的根”充当闭包算子的角色。