\begin{definition}[Definition:Mapping Preserves Supremum/Join]
{{:Definition:Mapping Preserves Supremum}}
$f$ '''preserves join''' {{iff}}
:for every pair of elements $x, y$ of $S_1$, $f$ preserves the supremum of $\left\{ {x, y}\right\}$.
\end{definition}