亞序(preordering)由亞正錐所確定的一種二元關係。
設T是域F的一個亞正錐.規定F'的一個二元關係＞為h＞a若且唯若b-u E 7'，並且稱E是F的一個亞序.亞序與序的差別，僅在於序是定義在F的全體元素之間，亞序則否.因此，序也是一種亞序.由弱亞正錐所定出的亞序稱為弱亞序.
亞序(preordering)由亞正錐所確定的一種二元關係。
亞序域 亞序域(preordered field)帶有亞序的域.若I是域F上一個給定的亞序，則稱F為亞序域，記為(F, W.)是由亞正錐I所確定的，則這個亞序域又可寫成(F,I).實域可以作為帶有弱亞序的亞序域;序域自然也是亞序域.
則稱Q是F的一個亞正錐，或者說，Q給出F的一個亞序。以下為簡便計，也逕稱Q為F的亞序；此時又稱 為一個亞序域。從定義立即知道 ；並且，亞序域是實域，反之，當F是實域時，；此時 ；滿足條件(4)。因此，是F的一個亞序...
序空間(space of orderings)由實域的正錐構成的特殊拓撲空間.設F是一個實域，並且符號Xh表示由F的全部正錐所組成的非空集合.序空間(space of orderings)由實域的正錐構成的特殊拓撲空間.設F是一個實域，並且符號Xh表示由F的全部...