Remark 3.5.1.21 (Monotonicity). Let $n$ be a nonnegative integer and let $f: X \rightarrow Y$ be an $n$-connective morphism of simplicial sets. Then $f$ is also $m$-connective for every integer $m \leq n$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$