数学上，序拓扑是可以定义在任意全序集上的拓扑结构。 此为将实数的拓扑结构推广到任意全序集上所得。 具有此种拓扑结构的拓扑空间称为序空间。如果 "X" 为全序集，则 "X" 的序拓扑由无界开区间用反证法。假设 "Z" 有一个严格全序< ，使得 < 给出的序拓扑等于 "Z" 的子空间拓扑（注意，并未假定 < 是 "Z" 上的诱导排序，即 < 可以是任意一种新的全序）。区间也相应地按 < 理解，下同。 此外，如果 "A" 和 "B" 是集合，则 formula_3 和 formula_4 是 "M "的