Remark 9.6.9.6. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Any intersection of saturated collections of morphisms of $\operatorname{\mathcal{C}}$ is also saturated. In particular, for any collection $W$ of morphisms of $\operatorname{\mathcal{C}}$, there is a smallest collection $\overline{W}$ which is saturated and contains $W$. We will refer to $\overline{W}$ as the saturated collection generated by $W$. We will say that a collection of morphisms is accessibly saturated if it has the form $\overline{W}$, where $W$ is a small collection of morphisms of $\operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$