Example 9.6.9.21. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$ be a full subcategory, and let $\overline{W}$ be the collection of $\operatorname{\mathcal{C}}_0$-local equivalences in $\operatorname{\mathcal{C}}$ (Definition 6.2.2.1). Then $\overline{W}$ is strongly saturated.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$