Definition 9.2.2.13. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $W$ be a collection of morphisms of $\operatorname{\mathcal{C}}$. The transfinite closure of $W$ is the smallest collection of morphisms of $\operatorname{\mathcal{C}}$ which contains $W$ and is closed under transfinite composition.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$