Example 9.6.9.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $(S_ L, S_ R)$ be a factorization system on $\operatorname{\mathcal{C}}$. Then $S_{L}$ is saturated. This is a special case of Example 9.6.9.3, since a morphism of $\operatorname{\mathcal{C}}$ belongs to $S_{L}$ if and only if it is left orthogonal to $S_{R}$ (Proposition 9.6.8.8).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$