Initial-segment Notation

Definition

Initial-segment Notation

The initial-segment notation is common in combinatorics, algorithms, and theoretical computer science, and is a shorthand for:

$$[n]:=\{1,2,\dots ,n\}n\in {\mathbb{Z}}^{+}$$

for a positive integer $n\in {\mathbb{Z}}^{+}$.