判別簇(discriminator variety)一類特殊的單泛代數.設0}l=CA,F>是一個泛代數.定義於A上的三元函式t : A3->A稱為判別函式，若A上的一個能表示判別函式的項t(x,y,z)稱為判別項一個有判別項的代數是單代數.若一個代數類K有公共的判別項t}x,y,z)，則稱由K生成的簇V(K)為判別簇.判別簇是算術的.
