\begin{definition}[Definition:Mapping Preserves Infimum/Filtered]
{{:Definition:Mapping Preserves Infimum}}
$f$ '''preserves filtered infima''' {{iff}}
:for every filtered subset $F$ of $S_1$, $f$ preserves the infimum of $F$.
\end{definition}