The standard pointed set with $n+1$ elements is the pointed set $\left\langle n\right\rangle $ consisting of
- The Underlying Set. The set $\left\langle n\right\rangle $ defined by
\[ \left\langle n\right\rangle \mathrel {\smash {\overset {\mathclap {\scriptscriptstyle \text{def}}}=}}\webleft\{ *\webright\} \cup \webleft\{ 1,\ldots ,n\webright\} . \]
- The Basepoint. The element $*$ of $\left\langle n\right\rangle $.
