Strict Lower Closure is Lower Section

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

Let $p \in S$.

Then $p^\prec$, the strict lower closure of $p$, is a lower set.

Also see

 * Lower Closure is Lower Set
 * Strict Upper Closure is Upper Set