差集阶

设 是一个阶为 的群， 是 的一个包含 个元素的集合。如果差集 恰好包含 的每个非零元素 次，则 是在 中的一个阶为 的 -差集。