Infimum of Upper Closure of Element

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

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

Then:
 * $\inf \left({s^\succeq}\right) = s$

where $s^\succeq$ denotes the upper closure of $s$.