設 表示集合
的劃分格。
的最大元素是
|
(1)
|
最小元素是
|
(2)
|
設 表示
中任意長度的鏈的數量,這些鏈同時包含
和
。 那麼
滿足以下遞推關係
|
(3)
|
其中 並且
是第二類斯特林數。
在
, 2, ... 的前幾個值是 1, 1, 4, 32, 436, 9012, 262760, ... (OEIS A005121)。
Lengyel (1984) 證明了商
|
(4)
|
當 時,該商介於兩個常數之間,Flajolet 和 Salvy (1990) 改進了 Babai 和 Lengyel (1992) 的結果,證明了
|
(5)
|
(OEIS A086053)。