良序集

1. 概述

良序集 即是 全序集, 但其中的 序关系 额外满足 良序性.

2. 定义

定义 1 (良序集)

设 为 集合, 为 上的 全序, 则称资料 为 良序集, 即 应满足以下性质：

• 自反性：;
• 传递性：;
• 反称性：;
• 连通性：;
• 良序性：.

注记 2

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

3. 例子

4. 相关性质

5. 相关概念

• 良序
• 良基关系, 良基性
• 最小元
• 全序, 全序集

6. 术语翻译

中文	英文
良序集	well-ordered set

序论