Supremum of Lower Closure of Element

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

Let $s$ be an element of $S$.

Then:
 * $\sup \left({s^\preceq}\right) = s$

where $s^\preceq$ denotes the lower closure of $s$.