\begin{definition}[Definition:Initial Segment of Natural Numbers/One-Based]
Let $n \in \N$ be a natural number.
The initial segment of the non-zero natural numbers determined by $n$:
:$\set {1, 2, 3, \ldots, n}$
is denoted $\N^*_{\le n}$.
\end{definition}