模板:序理论

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