差集

令 为一个 群，其 群的阶 为 ，且令 为 个 的元素的集合。如果差的集合 正好包含 的每个 非零 元素 次，则 是 -差集 在 中，其 阶 为 。如果 ，则该差集称为平面的。在 有限域 中的二次剩余构成一个差集。如果在群 中存在大小为 的差集，则 必须是 的倍数，其中 是一个 二项式系数。

Gordon 维护着已知差集的索引。