“…In this case, however, the converse implications, in general, fail to be true. In order to verify that the implication "C0 ⇒ C1" does not hold for not necessarily total (complete) preorders let (X, t) := ({1, 2, 3, 4}, P({1, 3, 4}) ∪ {{1, 2, 3, 4}}) and := ∆ X ∪ { (1,3)}. Then one easily verifies that satisfies condition C0 but has the property that neither d({1}) = {1} nor i({3}) = {3} are closed subsets of (X, t).…”