Example 9.2.2.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $W$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. Then every morphism of $W$ is a transfinite composition of morphisms of $W$ (take $\alpha = 1$ in Definition 9.2.2.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$