1. 定义 定义 1 (预序) 设 为 集合 上的 关系, 称 为 预序 当且仅当同时满足以下条件： 自反性：; 传递性：; 记号 2 (预序) 预序 关系 通常记为 , , , 或 . 假设 为 集合 而 为 中的 定义 1 (预序), 对于任意 , 它有如下这些记号： 2. 相关性质 详情请参阅 预序集 > 4. 相关性质. 3. 相关概念 预序集 4. 术语翻译 中文英文预序preordering 序论