1. 概述 良序集 即是 全序集, 但其中的 序关系 额外满足 良序性. 2. 定义 定义 1 (良序集) 设 为 集合, 为 上的 全序, 则称资料 为 良序集, 即 应满足以下性质： 自反性：; 传递性：; 反称性：; 连通性：; 良序性：非空子集的最小元. 注记 2 良序集 实为 全序集 的进一步约束, 即 全序 额外应满足 良序性. 3. 例子 4. 相关性质 5. 相关概念 良序 良基关系, 良基性 最小元 全序, 全序集 6. 术语翻译 中文英文良序集well-ordered set 序论