A totally order-disconnected space (TOD) is a tuple $(P, \leq, \tau)$ where $(P, \leq)$ is a poset and $(P,\tau)$ is a topological space such that for $x\not\leq y$ in $P$ there is a clopen down-set that contains $y$, but not $x$. If $P, Q$ are TODs then a map $f:P\to Q$ is a *morphism* if $f$ is continuous and order-preserving. The set of all morphisms from $P$ to $Q$ will be denoted by $\text{Mor}(P,Q)$.


The "Stone-Cech" compactification for totally order-disconnected spaces is constructed as follows. Let $\mathbf{2}$ be the space $\{0,1\}$ endowed with the discrete topology and ordered by $0<1$. For any TOD $P$ we set $C^\*(P) = \text{Mor}(P,\mathbf{2})$. Note that any product of $\mathbf{2}$ is a TOD when endowed with the componentwise ordering and the product topology. We define the evaluation map $$e\_P : P \to \mathbf{2}^{C^\*(P)}$$ by $e(p):f\in C^\*(P) \mapsto f(p) \in \mathbf{2}$ for all $p\in P$ and set $$\beta\_\mathbf{2}(P) := \text{cl}(\text{im}(e\_P)),$$ as it is done with the usual Stone-Cech compactification. (It turns out that this construction is indeed a compactification in the category of TODs.)


We say that a TOD $P$ is *well-behaved* if the following is true: if $U$ is a clopen up-set of $P$ then $\downarrow U := \{p \in P: p\leq u \text{ for some } u\in U\}$ is clopen.


**Question**: If $P$ is well-behaved, is the same true for $\beta\_\mathbf{2}(P)$?



Compactification of order-disconnected spaces
It seems that the answer to this problem is affirmative:


Take a well-behaved pospace $P$. To show that $\beta\_2(P)$ is well-behaved, take any clopen upper set $U\subset \beta\_2(P)$. We should prove that its lower set ${\downarrow}U$ is clopen in $\beta\_2(P)$. 


For this consider the upper clopen set $U\cap P$ in $P$ and observe that its lower set $${\downarrow}\_P(U\cap P):=\{x\in P:\exists u\in U\cap P\mbox{ with }x\le u\}$$ in $P$ is clopen (as $P$ is well-behaved). Then the characteristic function $\chi:P\to\{0,1\}$ of the set $P\setminus {\downarrow}\_P(U\cap P)$ is monotone and continuous and hence it admits a continuous monotone extension $\bar \chi:\beta\_2(P)\to\{0,1\}$. Then the preimage $W=\bar\chi^{-1}(0)$ is a clopen subset of $\beta\_2(X)$.


It remains to prove that $W={\downarrow}U$.


The inclusion ${\downarrow}U\subset W$ is clear as for any $v\in{\downarrow}U$ there exists $u\in U$ such that $v\le u$. Taking into account that $U\cap P$ is dense in $U$, we conclude that $\bar\chi(u)\in \bar\chi(U)=\overline{\chi(U\cap P)}=\{0\}$ and hence $\bar\chi(v)\le\bar\chi(u)=0$ implies $\bar\chi(v)=0$ and $v\in W$.


To see that $W\subset{\downarrow}U$, observe that $W$ (being clopen), coincides with the closure of the set ${\downarrow}\_P(U\cap P)=\chi^{-1}(0)$ in $\beta\_2(P)$. Since the partial order of the compact pospace $\beta\_2(P)$ is closed, the set ${\downarrow}U$ is closed in $\beta\_2(P)$. Consequently,
$$W=\overline{\chi^{-1}(0)}=\overline{{\downarrow}\_P(U\cap P)}\subset\overline{{\downarrow}U}={\downarrow}U.$$


