横向设计

一个横向设计 ，阶为 ，块大小为 ，索引为 是一个三元组 (, , ) 使得

1. 是一个包含 个元素的集合，

2. 是 分成 个类别的划分，每个类别的大小为 （“组”），

3. 是 -子集 的集合（“块”），以及

4. 来自 的每对无序元素都包含在 恰好一个 组中，或恰好包含在 个块中，但不能两者兼有。