Finite Infima Set and Upper Closure is Smallest Filter

Theorem
Let $L = \left({S, \wedge, \preceq}\right)$ be a meet semilattice.

Let $X$ be a non-empty subset of $S$.

Then
 * $X \subseteq {\operatorname{fininfs}\left({X}\right)}^\succeq$ and
 * for every a filter in $L$: $\left({X \subseteq F \implies {\operatorname{fininfs}\left({X}\right)}^\succeq \subseteq F}\right)$

where
 * $\operatorname{fininfs}\left({X}\right)$ denotes the finite infima set of $X$,
 * $X^\succeq$ denotes the upper closure of $X$.