在【超限序數】這一數學理論體系中,存在著所謂的三類條件。
一、反自反:
即,如果a≤b,且b≤a,則a=b。
二、傳遞性:
即,如果a≤b,且b≤c,則a≤c。
三、完備性:
若a≤b或者b≤a,那麼便不存在無法比較的情況。
事實上,一切知性生靈所知的自然數範疇到實數範疇內的‘≤’都符合這些性質。
這些性質,也正是奠定各類集合間【全序關係】的基礎。
至於所謂的全序關係,便是集合層面上的比大小操作。(詳見580章
任意兩個良序集合,假若可以建立一一對應關係。
那麼,就可以說其是【同序數】。
其實不僅僅是序數,在龐大的數學領域中,亦存在著大量類似透過某種一一對應的變換,來建立兩個物件性質相似性的定義。
其名稱,也與‘同序數’這一概念頗為近似。
譬如同構,同態等等等等。
如果要將【同序數】這一概念,再進行一番更為細緻也更為形象的比喻性描述,那麼就可以用【銀河霸主】這一大境界來作例子。
在銀河霸主大境之中,若以實力高低為憑,從最低的一階開始一路往上數。
二階、三階、四階……一直數到最高的十階頂尖霸主。
那麼這套力量等級體系,就共計擁有十個階數。
其按照實力高低,從小到大就構成了一個良序集。(良序集定義詳見580章
與此同時,自然數從1到10也能構成一個良序集。
顯然,銀河霸主一~十階,與自然數1~10,是可以一一對應的。
並且這兩者的對應結構,也是保持了順序的。
所以,就可以說【銀河霸主】等級體系,與自然數1到10的這個集合,為【同序數】。
也可以更簡單的說成,序數是10。
由此推及到更大的層次,那麼全體自然數,顯然也能構成一個全序集,或者說一個良序集。