\begin{definition}[Definition:Mapping Preserves Supremum/Directed]
{{:Definition:Mapping Preserves Supremum}}
$f$ '''preserves directed suprema''' {{iff}}
:for every directed subset $F$ of $S_1$, $f$ preserves the supremum of $F$.
\end{definition}