在【超限序数】这一数学理论体系中，存在着所谓的三类条件。
一、反自反：
即，如果a≤b，且b≤a，则a=b。
二、传递性：
即，如果a≤b，且b≤c，则a≤c。
三、完备性：
若a≤b或者b≤a，那么便不存在无法比较的情况。
事实上，一切知性生灵所知的自然数范畴到实数范畴内的‘≤’都符合这些性质。
这些性质，也正是奠定各类集合间【全序关系】的基础。
至于所谓的全序关系，便是集合层面上的比大小操作。(详见580章)
任意两个良序集合，假若可以建立一一对应关系。
那么，就可以说其是【同序数】。
在【超限序数】这一数学理论体系中，存在着所谓的三类条件。
一、反自反：
即，如果a≤b，且b≤a，则a=b。
二、传递性：
即，如果a≤b，且b≤c，则a≤c。
三、完备性：
若a≤b或者b≤a，那么便不存在无法比较的情况。
事实上，一切知性生灵所知的自然数范畴到实数范畴内的‘≤’都符合这些性质。
这些性质，也正是奠定各类集合间【全序关系】的基础。
至于所谓的全序关系，便是集合层面上的比大小操作。(详见580章)
任意两个良序集合，假若可以建立一一对应关系。
那么，就可以说其是【同序数】。