1. 概述

全序集 是一种特殊的 偏序集, 其中的任意 元素 皆可比较大小 (或称为 连通性), 这意味着元素之间总是按线性的 序关系 排列, 因此又被称为 线序集.

2. 定义

定义 1 (全序集)

集合, 上的 全序, 则称资料 全序集, 即 应满足以下性质:

注记 2

定义 1 (全序集) 实为 偏序集 的进一步约束, 即 偏序 额外应满足 连通性.

3. 例子

4. 相关性质

5. 相关概念

6. 术语翻译

中文英文
全序集total order set
线序集linear order set

序论