良序定理

well-ordering theorem

set-theoretic theorem or principle, equivalent to the axiom of choice

在数学中，良序定理，或称 Zermelo 定理，表示“所有集合都可以被良排序”。一集合被一个严格全序所良排序，如若对任意之非空子集，在该序关系下均蕴含一个最大元。所有与选择公理等价之命题，良序定理同 Zorn 引理乃最重要的两个陈述。该定理相当重要，超限归纳法借由该定理方可作用于任意集合。