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$.

Also see

 * Definition:Initial Segment of One-Based Natural Numbers