Remark 4.7.6.8. Let $\operatorname{\mathcal{C}}$ be a minimal $\infty $-category, and let $\operatorname{\mathcal{C}}_0 \subseteq \operatorname{\mathcal{C}}$ be a simplicial subset. If $\operatorname{\mathcal{C}}_0$ is an $\infty $-category, then it is also minimal.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$