ormula_14，其座标环是多项式环对上述理想的商。仿射簇之间的态射定义为多项式映射formula_20的限制。
射影簇.令formula_21为 formula_4 上的 n 维射影空间。虽然formula_23中的齐次多项式无法在齐次座标上取值（因为齐次坐标系实际上是一个等价类），其零点却可明确地定义。对任意齐次多项式集合 formula_6，定义其零点为若存在formula_6使得formula_27，则称之射影代数集。不可约性的定义同前。不可约射影代数集称作射影代