代数完全交被定义为由 R[x_1,...,x_D] 中 D-d 个多项式的公共零点集，且这些多项式在稠密开集上梯度线性无关，此时零点集维数恰为 d。