Definition B.1.13. ([Lur09, Def. 5.5.5.1]).
We say that a class of morphisms \(S\) in an \(\infty\)-category \(\mathcal C\) is saturated if it satisfies the following conditions.
The class \(S\) contains all equivalences and is closed under composition.67
The full subcategory \(S \subseteq \mathrm{Fun}([1],\mathcal C)\) is closed under (small) colimits.
The class \(S\) is stable under cobase change.