Complement of Lower Section is Upper Section

Theorem
Let $\struct {S, \preceq}$ be an ordered set.

Let $L$ be a lower set.

Then $S \setminus L$ is an upper set.

Proof
Let $u \in S \setminus L$.

Let $s \in S$ such that $u \preceq s$.

$s \notin S \setminus L$.

Then $s \in L$.

By definition of lower set, $u \in L$, a contradiction.

Hence $s \in S \setminus L$.

Since this holds for all such $u$ and $s$, $S \setminus L$ is an upper set.

Also see

 * Complement of Upper Set is Lower Set