1. 定义 定义 1 (良序) 设 为 集合 上的 全序, 称 为 良序 当且仅当其额外满足 良序性. 2. 相关性质 详情请参阅 良序集 > 4. 相关性质. 3. 相关概念 全序, 全序集 良基关系, 良基性 4. 术语翻译 中文英文良序well-ordered 序论