Definition 3.2.1.1. A *pointed simplicial set* is a pair $(X,x)$, where $X$ is a simplicial set and $x$ is a vertex of $X$. If $X$ is a Kan complex, then we refer to the pair $(X,x)$ as a *pointed Kan complex*.

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