1. 概述 偏序集 (或称 有序集) 是某个 集合 中, 元素 间自然地带有 序关系 的结构, 但并非任何 元素 皆可比较大小. 特别地这个概念可被进一步推广至 范畴论 中, 例如考虑将 偏序 视为 唯一 态射, 而该 范畴 中所有 对象 间的 态射 皆唯一的范畴则称之为 瘦范畴. 2. 定义 定义 1 (偏序集) 设 为 集合, 为 上的 偏序, 则称资料 为 偏序集, 即 应满足以下性质： 自反性：; 传递性：; 反称性：. 此时称 为 上的一个 排序. 注记 2 事实上 定义 1 (偏序集) 即为 预序集, 但 预序 额外满足了 反称性. 3. 例子 4. 相关性质 5. 相关概念 偏序 预序集 全序集 瘦范畴 6. 术语翻译 中文英文偏序集partial order set (poset)有序集ordered set排序ordering 序论