Example 9.6.9.3. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, let $T$ be a collection of morphisms of $\operatorname{\mathcal{C}}$, and let $S$ be the collection of morphisms of $\operatorname{\mathcal{C}}$ which are left orthogonal to $T$. Then $S$ is saturated. This follows from Remark 9.6.6.9, Proposition 9.6.6.10, and Proposition 9.6.6.12.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$