橫向設計

一個橫向設計 ，階為 ，塊大小為 ，索引為 是一個三元組 (, , ) 使得

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

2. 是 分成 個類別的劃分，每個類別的大小為 （“組”），

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

4. 來自 的每對無序元素都包含在 恰好一個 組中，或恰好包含在 個塊中，但不能兩者兼有。