Remark 9.6.9.19. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\overline{W}$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. If $\overline{W}$ is strongly saturated (in the sense of Definition 9.6.9.18), then it is saturated (in the sense of Definition 9.6.9.2).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$