Take the five-element partially ordered set . Its strict comparisons are , , and , , , , together with their transitive consequences. The elements are incomparable, as are .
Figure 1.
Two different failures of order completeness
. Details.
A finite directed set has a greatest element whenever it is nonempty: list its elements and repeatedly use directedness to find an internal upper bound of the previously chosen element and the next one. The final element is above every member of the directed set, and is its least upper bound. Thus every nonempty directed set in has a least upper bound. The empty subset also has a least upper bound, namely . Therefore satisfies the paper's completeness condition under either convention.
However, is bounded above by both and . A least upper bound would have to be an upper bound lying below both and . Neither nor has that property, and none of is an upper bound of . Hence