Definition:Mapping Preserves Infimum/Filtered

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