可约代数集(reducible algebraic set)是一种特殊的代数集。与代数簇是一对相斥概念,即代数系可否并分解。若存在代数集V1,V2使得V=V1UV2,且V1≠V,V2≠V,则称V是可约的,否则称V是不可约的。代数集(algebraic set)是特殊的集合。它是若干个多项式的公共根的集合,是与代数簇密切相关的概念。设S是域K上多项式环K[x1,x2,...,xn]的若干个多项式的集合,K'’是域K上的仿射空间,记V(S)={(a1,a2,...,an)∈K‘’|f(a1,a2,...,an)=0,对任意f∈S}为S中所有多项式的公共根的集合。对于K‘’中子集T,若存在集合S K[x1,x2,...,xn]使得T=V(S),则称T为一个代数集。