Infimum of Upper Closure of Element

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

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

Then:
 * $\map \inf {s^\succeq} = s$

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