Corollary 9.2.6.6. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $(S_{L}, S_{R})$ be a weak factorization system on $\operatorname{\mathcal{C}}$. Then $S_{L}$ is a weakly saturated collection of morphisms of $\operatorname{\mathcal{C}}$ (see Definition 9.2.3.19).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$