即：对于任意偏序集/格 <X,⪯><X,\preceq><X,⪯>，总能找到一组(可能是无限个) ≤1,≤2,≤3,...\le_1,\le_2,\le_3,...≤1,≤2,≤3,... 使得 ∀x,y∈X,x⪯y ⟺ x≤1y且x≤2y且x≤3y且...\forall x,y\in X,x\preceq y\iff x\le_1 y且x\le_2 y且x\le_3 y且...∀x,y∈X,x⪯y⟺x≤1y且x≤2y且x≤3y且...呢？
BDFS 无果（可能是 Dilworth 定理？）
