一条反链的两个元素不能属于同一条链。
No two elements of an antichain can belong to the same chain.
youdao
应用推荐
模块上移
模块下移
不移动