来自GSXAB的知识库
术语名称
英语名称 chain
长度
术语名称 长度
英语名称 length
高度
术语名称 高度
英语名称 height

(chain)指偏序集中的全序子集,表现为其 Hasse 图中一条纵向的路径。其中的边数,即相邻的元素对数,称为其长度(length)。偏序集的最大链大小(元素个数)也称为偏序集的高度(height)/长度(length)。

也用于指全序本身,参见全序

定义

对偏序集 [math]\displaystyle{ (S,\preceq) }[/math] 及其子集 [math]\displaystyle{ C\subseteq S }[/math] ,若 [math]\displaystyle{ (\forall x, y \in C)(x \preceq y \lor y \preceq x) }[/math] ,即 [math]\displaystyle{ \preceq|_C }[/math][math]\displaystyle{ C }[/math] 上的一个全序,则称 [math]\displaystyle{ C }[/math] 是偏序集中的一个(chain),并称链中关系的个数,即 [math]\displaystyle{ \operatorname{card}C-1 }[/math] 为其长度(length)。

偏序集 [math]\displaystyle{ (S,\preceq) }[/math] 中全部链的最大元素个数称为偏序集 [math]\displaystyle{ (S,\preceq) }[/math]高度(height)/长度(length)。


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