Lukas' Notes

Definition

Initial-segment Notation

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

for a positive integer .