Definition:Mapping Preserves Supremum/Finite

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