A metrizable completely regular ordered space
We construct a completely regular ordered space such that is an -space, the topology of is metrizable and the bitopological space is pairwise regular, but not pairwise completely regular. (Here denotes the upper topology and the lower topology of .)