The Stacks project

Definition 4.27.20. Let $\mathcal{C}$ be a category and let $S$ be a multiplicative system. We say $S$ is saturated if, in addition to MS1, MS2, MS3, we also have

1. Given three composable morphisms $f, g, h$, if $fg, gh \in S$, then $g \in S$.