Definition 9.6.9.18. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\overline{W}$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. We say that $\overline{W}$ is strongly saturated if it contains all isomorphisms, has the two-out-of-three property, and is closed under small levelwise colimits (in the $\infty $-category $\operatorname{Fun}( \Delta ^1, \operatorname{\mathcal{C}})$).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$