\begin{definition}[Definition:Mapping Preserves Infimum/Meet]
{{:Definition:Mapping Preserves Infimum}}
$f$ '''preserves meet''' {{iff}}
:for every pair of elements $x, y$ of $S_1$, $f$ preserves the infimum of $\set {x, y}$.
\end{definition}