Remark 9.1.7.19. In the situation of Lemma 9.1.7.18, the collection of simplicial subsets $\{ X(i) \subseteq X \} _{i \in I}$ is automatically $\lambda $-directed (when regarded as partially ordered with respect to inclusion).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$