Definition:Initial Segment of Natural Numbers/Zero-Based

Definition
Let $n \in \N$ be a natural number.

The initial segment of the natural numbers determined by $n$:
 * $\left\{{0, 1, 2, \ldots, n-1}\right\}$

is denoted $\N_n$.