\begin{definition}[Definition:Initial Segment of Natural Numbers/Zero-Based]
Let $n \in \N$ be a natural number.
The initial segment of the natural numbers determined by $n$:
:$\set {0, 1, 2, \ldots, n - 1}$
is denoted $\N_{<n}$.
\end{definition}