Set of Finite Suprema is Directed

Theorem
Let $\left({S, \vee, \preceq}\right)$ be a join semilattice.

Let $X$ be a subset of $S$.

Then
 * $\left\{ {\sup A: A \in {\it Fin}\left({X}\right) \land A \ne \varnothing}\right\}$ is directed.

where ${\it Fin}\left({X}\right)$ denotes the set of all finite subsets of $X$.

Proof
By Existence of Non-Empty Finite Suprema in Join Semilattice:
 * for every $A \in {\it Fin}\left({S}\right)$ if $A \ne \varnothing$, then $A$ admits a supremum.

Let $x, y \in \left\{ {\sup A: A \in {\it Fin}\left({X}\right) \land A \ne \varnothing}\right\}$

Then
 * $\exists A \in {\it Fin}\left({X}\right): x = \sup A$ and $A \ne \varnothing$

and
 * $\exists B \in {\it Fin}\left({X}\right): y = \sup B$ and $B \ne \varnothing$

By Finite Union of Finite Sets is Finite:
 * $A \cup B$ is finite

By Union of Subsets is Subset:
 * $A \cup B \subseteq X$

By definitions of non-empty set and union:
 * $A \cup B \ne \varnothing$