Definition:Mapping Preserves Infimum/Finite

Definition
$f$ preserves finite infima
 * for every finite subset $F$ of $S_1$, $f$ preserves the infimum of $F$.