Integer interval
= Integer interval
{title2=$[a,b]\cap\mathbb Z$}
A finite <integer interval> is a set $\{a,a+1,\ldots,b\}$ with <integers> $a\leq b$. Its length is $b-a+1$. Infinite <integer intervals> can also be defined by allowing one or both endpoints to be infinite; a bounded-gaps condition on words always quantifies over finite <integer intervals>.