第587章超越级,层层序数(提示,本章略复杂)（1 / 16）

在【超限序数】这一数学理论体系中，存在着所谓的三类条件。

一、反自反：

即，如果a≤b，且b≤a，则a=b。

二、传递性：

即，如果a≤b，且b≤c，则a≤c。

三、完备性：

若a≤b或者b≤a，那么便不存在无法比较的情况。

事实上，一切知性生灵所知的自然数范畴到实数范畴内的‘≤’都符合这些性质。

这些性质，也正是奠定各类集合间【全序关系】的基础。

至于所谓的全序关系，便是集合层面上的比大小操作。(详见580章)