差集階

設 是一個階為 的群， 是 的一個包含 個元素的集合。如果差集 恰好包含 的每個非零元素 次，則 是在 中的一個階為 的 -差集。