维数为k的子簇都有理等价于formula_8。这意味着，如果有两个子簇有互补的维数（它们维数和为n）且度数分别为d、e，则它们的积就是formula_10是单点的等价类。至少在"Y"和"Z"横截相交时（参见此处），这说明它们恰有de个交点。这实则是贝祖定理。类似于此的观察被极大地推广，产生了计数几何。
函子性.圈的函子性，即定义在代数圈群"Z(X)"层面上的平坦拉回和适当前推可扩展至周环，这给出群同态事实上,formula_13给出在整个周环上的环同态（遵从相交积，至少在集