Definition:Mapping Preserves Infimum/All

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