On a problem about strictly completely regular ordered spaces posed by Lawson (Q2697413)

A partially ordered topological space \((P, \leq, \tau)\) is strictly completely regular ordered if it (a) is \(T_1\)-ordered, (b) has a subbasis of open monotone sets, and (c) every monotone closed set \(A\) can be separated from every \(x \not\in A\) by a monotone continuous function. The Lawson topology on a poset is the supremum of the lower topology and the Scott topology. The authors define a poset with the Lawson topology to be strongly completely regular ordered if it satisfies (a) and (b), and every monotone closed set \(A\) can be separated from every \(x \not\in A\) by a monotone function which is continuous in both the lower and Scott topologies. They give a counterexample resolving Lawson's question [\textit{J. D. Lawson}, in: Topology and category theory in computer science, Proc. Conf., Oxford/UK 1989, 179--205 (1991; Zbl 0745.54012)] of whether every continuous dcpo with the Lawson topology is strictly completely regular ordered. \textit{X.-Q. Xu} [``The Lawson topology on quasicontinuous domains'', in: \textit{K. Keimel} (ed.) et al., Domains and processes. Proceedings of the 1st international symposium on domain theory, Shanghai, China, October 1999. Boston, MA: Kluwer Academic Publishers (2001; Zbl 1054.68088)] gave an affirmative answer to Lawson's question if \(P\) is a quasicontinous dcpo and the collection of Lawson open lower sets is the lower topology. The authors show that in a quasicontinous poset with the Lawson topology, Xu's condition is equivalent to strongly completely regular ordered. Other results address pairwise normal bitopological spaces.