Remark 5.4.4.7. Let $S$ be a simplicial set. Then there is a least infinite cardinal $\kappa $ for which $S$ is $\kappa $-small. If $S$ is finite, then $\kappa = \aleph _0$. If $S$ is not finite, then $\kappa = \lambda ^{+}$, where $\lambda $ is the cardinality of the set of all nondegenerate simplices of $S$. In particular, $\kappa $ is always a regular cardinal.

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$