Zorn 引理

佐恩引理
术语名称	佐恩引理
英语名称	Zorn's lemma

佐恩引理(Zorn's lemma)指偏序集中任意链有上界则偏序集有极大元。 等价于选择公理。

定理

对非空偏序集 [math]\displaystyle{ (P, \preceq) }[/math] ，若其中每条链都有上界，则该偏序集中存在至少一个极大元。

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