Definition:Mapping Preserves Supremum/Directed

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