设 G 为 v 阶乘法群，单位元为 e，如果 D 为 G 的 k(0<k<v) 元子集，且形如 xy-1(x,y∈D) 的元中含 G 的每个非单位元恰 𝝺 次，则称 D 为 G 的一个(v,k,𝝺) 差集。当 G 为阿贝尓群（即交换群）成循环群时，分别称 D 为阿贝尓差集或循环差集。