序空間

序空間(space of orderings)由實域的正錐構成的特殊拓撲空間.設F是一個實域，並且符號Xh表示由F的全部正錐所組成的非空集合.對於aEF，可得到Xh.的一個子集,於是，所有形如H<a)<aEF)的子集構成X:的一個拓撲子基.由此產生的拓撲稱為哈里遜拓撲，具有哈里遜拓撲的拓撲空間X:稱為實域F的序空間.序空間X:是一個緊的、全不連通的豪斯托夫空間;換言之，X:是一個布爾空間一個類似但更一般的概念是亞序域的序空間.若7'是域F的一個亞正錐，並用X表示F'上所有包含T的正錐所組成的集合，則Xh-<1')是拓撲空間Xh.的一個非空的閉子集.此時，稱具有誘導拓撲的集合XF<T)為亞序域(F,T)的序空間.