mula_9等于 "X" 与 "V(S) "的交。这就说明可以在任意仿射簇上定义一个扎里斯基拓扑。
射影簇.在 formula_11 中，视任两个相差 "k" 中的标量倍的点为等同，这样得到的等价类的集合称为 "n" 维射影空间formula_12 多项式环 formula_13 中的元素不都是 formula_14 上的函数，因为即使是同一点，也能以不同的坐标表示，而代入一个多项式时便会得到不同的值；但是却可以确定一个齐次多项式在某点是否为零，因为如果一点能以两组坐标表示