Supremum of Lower Closure of Element

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

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

Then:
 * $\map \sup {s^\preceq} = s$

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