Complement of Upper Set is Lower Set

Theorem
Let $\left({S, \preceq}\right)$ be an ordered set.

Let $L$ be an upper set.

Then $S \setminus L$ is a lower set.

Proof
This follows mutatis mutandis from the proof of Complement of Lower Set is Upper Set.

Also see

 * Complement of Lower Set is Upper Set