Remark 9.1.3.23. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Any intersection of weakly saturated collections of morphisms of $\operatorname{\mathcal{C}}$ is also weakly saturated. In particular, for any collection $W$ of morphisms of $\operatorname{\mathcal{C}}$, there is a smallest collection $\overline{W}$ which is weakly saturated and contains $W$. We will refer to $\overline{W}$ as the *weakly saturated collection generated by $W$*.

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$