1. 概述 预序集 (或称 拟序集) 是携带了 预序 的 集合, 它类似于 偏序集, 但 不一定满足 反称性： 然而, 如果 满足上述关系, 那么 元素 一样大时, 则它们必定相等, 但在预序集中我们不要求这点. 亦即是说, 允许预序集中 “多个元素一样大”. 特别地, 这一概念亦可被推广至 范畴论 中的 严格范畴 中. 2. 定义 定义 1 (预序集) 设 为 集合, 为 上的 预序, 则称资料 为 预序集, 即 应满足以下性质： 自反性：; 传递性：; 3. 例子 4. 相关性质 5. 相关概念 预序 偏序集 全序集 严格范畴 6. 术语翻译 中文英文预序集preordered set (proset) 序论