# 良序集的序型　`thm.wellorder-ordinal`
每个良序集序同构于唯一的序数
layer 9 · 定理 · 序数与超限 · 集合论
[在星图里打开](../#n=thm.wellorder-ordinal)　·　[节点索引](../index.md)

设 $(W, \preceq )$ 是**良序集**。则存在**唯一**的序数 $\alpha$，使 $(W, \preceq )$ 与 $(\alpha, \in)$ **序同构**。这个 $\alpha$ 称为 $W$ 的**序型**，记作 $\operatorname{ot}(W) = \alpha$。

## 为什么成立（入边，证明在 proofs/）
- …另有入边，续页见 [nodes/thm.wellorder-ordinal.2.md](./thm.wellorder-ordinal.2.md)

refs: Kunen, Set Theory, I.11；Jech, Set Theory, 2.3

> 说明见 `notes/thm.wellorder-ordinal.md`

引用：`thm.wellorder-ordinal`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)