No label defined (Q4526530)

The concept of zero-dimensionality for topological preordered spaces (with closed preorder) is studied. Zero-dimensionality of a preordered space \((X,\tau,\leq)\) is characterized by the property that \(\tau\) has a subbase consisting of clopen increasing and clopen decreasing sets and that \(\leq\) is the specialization preorder of the topology generated by the clopen increasing sets (equivalently, that \(X\) is determined by a transitive quasi-uniformity in Nachbin's sense). For a compact partially ordered space zero-dimensionality is equivalent to total order-disconnectedness. A completely regular pospace \((X,\tau,\leq)\) is said to be strongly zero-dimensional if its Nachbin ordered compactification is a zero-dimensional pospace. A completely regular pospace \((X,\tau,\leq)\) is shown to be strongly zero-dimensional if and only if every increasing cozero set of \(X\) is a countable union of clopen increasing sets and every decreasing cozero set of \(X\) is a countable union of clopen decreasing sets. Several other results known from the theory of (bi)topological spaces are shown to hold under the appropriate modifications in the topological (pre)ordered setting. For the entire collection see [Zbl 0952.00067].