Definition:Initial Segment of Natural Numbers/Zero-Based

From ProofWiki
Jump to: navigation, search

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


Sources