Definition:Mapping Preserves Supremum/Finite

Definition
$f$ preserves finite suprema
 * for every finite subset $F$ of $S_1$, $f$ preserves sup of $F$.