存在 STS(v, λ) ⇔ v 3, 且 gcd(v − 2, 6) | λ. (2) Mendelsohn 三元系. v 元集 X 上一些循环三元组 ⟨x 1 , x 2 , x 3 ⟩ (它覆盖有序对 (x 1 , x 2), (x 2 , x 3), (x 3 , x 1)) 的族 B, 使得 X 中每个有序对都恰含于 B 的 λ 个区组中, 称为 Mendelsohn 三元系, 记作 MTS(v, λ) 或 3-MD λ (v). 1971 年, Mendelsohn [3] 定义并给出了它的存在谱: