Definition:Initial Segment of Natural Numbers/One-Based

Definition
Let $n \in \N$ be a natural number. The initial segment of the non-zero natural numbers determined by $n$:
 * $\left\{{1, 2, 3, \ldots, n}\right\}$

is denoted $\N^*_n$.