Remark 3.5.9.6 (Monotonicity). Let $f: X \rightarrow Y$ be a morphism of Kan complexes which is $m$-truncated for some integer $m$. Then $f$ is also $n$-truncated for every integer $n \geq m$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Remark 3.5.9.6 (Monotonicity). Let $f: X \rightarrow Y$ be a morphism of Kan complexes which is $m$-truncated for some integer $m$. Then $f$ is also $n$-truncated for every integer $n \geq m$.