Use the two-chain noncontinuous complete partial order
where and , with no comparisons between the two interiors. In this solution denotes the least upper bound printed as in the question.[ref]
Every nonempty directed set containing has least upper bound . A directed set omitting cannot contain both an and a , because their only common upper bound in is , which would have to belong to that directed set. It therefore lies in one chain, possibly with . If its indices are bounded it has a greatest element, which is its least upper bound; if they are unbounded its least upper bound is . Thus is a directed-complete partial order.
No element other than is way-below . For , the directed set has least upper bound , but none of its members is above . Interchanging the two chains excludes every . Either chain excludes itself. On the other hand, : every directed set whose least upper bound is above is nonempty, and any member is above . Hence
So is not a continuous directed-complete partial order.
There is a small convention issue in the printed definitions. Our usual directed set is nonempty, but the question's pairwise condition also allows the empty set. Taken literally, the empty set has least upper bound , and the preceding example and failure of continuity still work. Under this literal convention , because the empty set supplies no witness. We retain this qualification in the next parts.
Figure 1.
Two branches with a common supremum, compared with continuous approximation in the unit interval
. Details.