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 denoted as
The usual notation for this is $\N_n$, but the notation $\N_{< n}$ is less ambiguous.

Also see

 * Definition:Initial Segment of One-Based Natural Numbers