Mirsky 定理

偏序集分解定理
术语名称	偏序集分解定理
英语名称	Dilworth's theorem
别名	狄尔沃斯定理

Mirsky 定理(Mirsky's theorem)是关于偏序集最大最小的定理，偏序集最大链元素个数等于其最小反链划分的所需反链个数。

其对偶是偏序集分解定理。

是组合数学三大存在性定理之一。

定理

偏序集的高度，即偏序集链（全序的子集）中的最大元素个数，等于其划分成反链（无关的子集）的最小个数。

序理论
预序、预序集	极大元、极小元	最大元、最小元
	上界、下界	上确界、下确界
方向、有向集	半格（并半格、交半格）	有界半格（有界并半格、有界交半格）
	格	有界格
偏序、偏序集	Hasse 图
	链、长度、高度	反链、宽度
	Dilworth 定理	Mirsky 定理