Remark 9.2.9.16. In the situation of Theorem 9.2.9.15, the collection $S_{L}$ is characterized by the fact that it is the smallest weakly saturated collection of morphisms which contains $W$ and also satisfies the equivalent conditions of Corollary 9.2.9.12. Beware that it is generally larger than the weakly saturated collection of morphisms generated by $W$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$